This repository is my (Nicolai's) fork of the HoTT library github.com/HoTT/HoTT-Agda.

The purpose of this repository is to have some of my code public without polluting the community HoTT library with my unfinished projects.

My aim is to eventually merge some of my developments into the HoTT library if I believe that they could be useful for other people.

My projects can be found in the folder 'nicolai'; the rest of the fork will be synchronized with the HoTT library. For a description of the projects in 'nicolai', see the readme file there.

This code uses Agda 2.4.2.5.

Acknowledgments (in addition to those inherited from the library): I am supported by the Engineering and Physical Sciences Research Council (EPSRC), grant reference EP/M016994/1.

Acknowledgments (from the main library):

This material is partially based upon work supported by the National Science Foundation under Grant Number 1116703. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

This material is also partially based upon work supported by the Air Force Office of Scientific Research under Multidisciplinary Research Program of the University Research Initiative (MURI) Grant Number FA9550-15-1-0053.