Verified Functional Programming in Agda

 (dl.acm.org)

88 points | by TheAsprngHacker 1476 days ago

10 comments