today in classics from /r/haskell: "your server is not dependently typed _enough_"
-
-
Replying to @aaronmblevin
@aaronmblevin my thought was mostly "this seems like more work than it needs to be" :)1 reply 0 retweets 1 like -
Replying to @edwinbrady
@edwinbrady I'm going to write an idris back end based on `curl` and see which is more work.1 reply 0 retweets 0 likes
Replying to @aaronmblevin
@aaronmblevin it's the sort of thing where if I had infinite spare time (and some decent networking libraries) I might take as a challenge
6:06 AM - 2 Dec 2015
0 replies
0 retweets
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.