Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Verified Functional Programming in Agda
dl.acm.org
88 points
TheAsprngHacker
6 years ago
10 comments
Loading...
Verified Functional Programming in Agda | Heykuki News