/hpt-experiments

Various attempts to model version control systems in Homotopy Type Theory

Primary LanguageAgda

Repository for Agda code associated with my master thesis (UiB 2021/22)