This weekend's handiwork, on compiling Idris for lots of targets: http://eb.host.cs.st-andrews.ac.uk/drafts/compile-idris.pdf … Comments and questions welcome, as always.
12:30 PM - 15 Mar 2015
0 replies
4 retweets
10 likes
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.