HN Explorer

jnash

↗ HN profile [ 71.3 ms ] full profile
Karma
83
Created
February 11, 2022 (4y ago)
Submissions
0
  1. Abella: A System for Reasoning about Relational Specifications (2014) (jfr.unibo.it)
    1 points 0
  2. The Power of Dependent Types (Tutorial) (idris2.readthedocs.io)
    2 points 0
  3. 1 points 0
  4. A Crash Course in Idris 2 (idris2.readthedocs.io)
    2 points 0
  5. Maybe Kafka Isn't Needed (thenewstack.io)
    3 points 0