from Hacker News

jnash

joined 2/11/22, 3:02 AM has 90 karma

• Abella: A System for Reasoning about Relational Specifications (2014)

  by jnash on 9/30/22, 3:51 AM, with 0 comments

• The Power of Dependent Types (Tutorial)

  by jnash on 7/26/22, 5:01 AM, with 0 comments

• A Crash Course in Idris 2

  by jnash on 7/12/22, 2:50 AM, with 0 comments