Shorthanded/book
A textbook on informal homotopy type theory
HTDP Racket
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A textbook on informal homotopy type theory
Public repository.
IDE/Advanced text editor mainly focusing on support for the Nimrod programming language.
Public repository.