Comment by yorwba | Hacker News Reader

Top New Best Ask Show Jobs

Comment by yorwba | Hacker News Reader

The promised next post is here: http://languagengine.co/blog/bidirectional-proof-refinement/

Yeah, we're cross posting from my blog to the official IOHK blog, too. The first post only just got up on IOHK :p

Reply on news.ycombinator.com