Verified Functional Programming in Agda
12 by TheAsprngHacker | 1 comments on Hacker News.
Middlesbrough
Middlesbrough News Featured post
Kim Jong-un: fragile and under pressure but he won’t give up
The Observer The North Korean leader’s surprise freeze of his nuclear programme is less a genuine move than a diplomatic manoeuvre,...
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment