I got bored of marking exams, so procrastinated by making Idris Effects work better with state dependent on output: http://lpaste.net/97756
-
-
Replying to @edwinbrady
@edwinbrady what if I wanted multiple files open at a time? I'm guessing a separate effect for each?1 reply 0 retweets 0 likes
Replying to @RanjitJhala
@RanjitJhala In the original version, you could label effects to achieve that. I'm just working on labels for this new version now...
2:23 PM - 30 Dec 2013
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.