Thanks to @puffnfresh, Idris is now usable as a library. So if you get bored over Christmas, make your own TT-based language. #hohoho
-
-
Replying to @edwinbrady
@edwinbrady Any advice on the best paper to read to better understand the core type theory?3 replies 0 retweets 0 likes -
Replying to @smdiehl
@smdiehl@edwinbrady More like a book innit? BCP's Types and Programming Languages perhaps?1 reply 0 retweets 1 like
Replying to @bitemyapp
@bitemyapp @smdiehl For the specific Idris TT, this one http://eb.host.cs.st-andrews.ac.uk/drafts/impldtp.pdf …
0 replies
1 retweet
1 like
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.