|
|
|
|
|
|
by ernst_klim
2886 days ago
|
|
|
You don't need infinite loops, all you need are simple inductive types and reduction rules, it has not to be a turing complete language. You can have simple typelevel functions in haskell, whilst its typechecker is not turing-complete. |
|
|