@edwinbrady Is the Idris type system Turing-complete? I read that Shen had a Turing-complete Type system unlike several other languages.
-
-
This Tweet is unavailable.
-
This Tweet is unavailable.
- 4 more replies
-
-
-
-
@ScriptDevil The type checker will not reduce functions which are not total, but you can still *model* turing complete programs.
End of conversation
New conversation -
-
-
@edwinbrady For a suitable definition of "I know," clearly...Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.