Hacker News new | ask | show | jobs
user: typish
created: 2015-04-27
karma: 66

submissions:

Reference Capabilities, Consume and Recover in Pony
1 points | 0 comments
A Quick Look at the Pony Programming Language
2 points | 0 comments
Using Freenet for Static Websites
2 points | 0 comments
ATS/LF for Coq Users
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Freenet Communication Primitives: Part 2, Service Discovery and Communication
5 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Verified Efficient Programs in ATS: Qsort
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments