Newer posts are loading.
You are at the newest post.
Click here to check if anything new just came in.
hannes
16:50
interactive idris development in emacs

sort of my procrastination project since 9 months (after curry book, during dissertation and still ongoing)

a former colleague made an animated gif of its interactive features \o/
Reposted bylispsilenius

Don't be the product, buy the product!

Schweinderl