Tumblelog by Soup.io
Newer posts are loading.
You are at the newest post.
Click here to check if anything new just came in.
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 fromhannes hannes

Don't be the product, buy the product!