Adventures in Type Theory 1 – Locally Nameless STLC (Part 1)

(tekne.dev)

2 points | by matt_d 15 hours ago ago