Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

jnash

90 karmajoined February 11, 2022On HN

Recent submissions

Abella: A System for Reasoning about Relational Specifications (2014)jfr.unibo.it
1jnash3ydiscuss
The Power of Dependent Types (Tutorial)idris2.readthedocs.io
2jnash4ydiscuss
A Crash Course in Idris 2 idris2.readthedocs.io
2jnash4ydiscuss

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.