mr-/book
A textbook on informal homotopy type theory
Public GitHub Catalog
Discovered Sep 26, 2026
mr- / hsConway
Haskell-Gtk-Conway-Fun
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#8273863GitHub System ID
mr-Organization / User
PublicVisibility
ActiveCatalog Status
More from mr-
mr-/cabal
Interactive Solver
mr-/hsQueens
Public repository.
mr-/pyDrinkinbot
Public repository.