GitHub repository: Isaac-Ling/Lingo
Primary language: Haskell
Created: 2025-03-29T12:15:52Z
Description: An implementation of Martin-Löf Type Theory, following closely to the Homotopy Type Theory (HoTT) book.