miniblog.

← Back to all posts
Dec 18, 2016 at 18:13
An elegant blog post demonstrating conversion to A-Normal Form (important in SSA in compilers) using Liquid Haskell:
404 Not Found

Related Posts

Jul 31, 2017 at 21:36
https://www.youtube.com/watch?v=Q-3tcbUyF34 is a wonderful talk showing how to generate whole programs from just a liquid haskell type definition with Synquid.