News for hackers. Stuff that matters.

A comment on Learn You an Agda. Parent comment

Re:Learn You an Agda by platz on Wednesday December 03, 2014 @02:15AM (#8692311)
Here Idris uses its effect system to verify correct usage of a protocol between a client and a server http://www.youtube.com/watch?v=vkIlW797JN8&t=53m35s
[ Parent | on HN ]

There are no comments on this comment yet.