New top story on Hacker News: Verified Functional Programming in Agda Posted By: Rushan Skywalker 10:08 PM Leave a Reply Verified Functional Programming in Agda 3 by TheAsprngHacker | 0 comments on Hacker News. Tweet Share Share Share Share
0 comments: