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