HN
Hacker News
Top
New
Best
Ask
Show
Jobs
jnash
90 karma · joined February 11, 2022
submissions
comments
Abella: A System for Reasoning about Relational Specifications (2014)
jfr.unibo.it
·
1 pts
·
jnash
·
0
The Power of Dependent Types (Tutorial)
idris2.readthedocs.io
·
2 pts
·
jnash
·
0
A Crash Course in Idris 2
idris2.readthedocs.io
·
2 pts
·
jnash
·
0
Maybe Kafka Isn't Needed
thenewstack.io
·
3 pts
·
jnash
·
0