Programming challenge! Implement Whitespace as an EDSL in Agda. Bonus points for correctness proof.
1:02 PM - 13 Sep 2011
1 reply
4 retweets
0 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.