This is a darcs repository index. Below you can find the list of publicly accessible repositories
Project Description
cat Basic category theory in Coq
coq-cat-old (Old) Category theory in Coq with typeclasses by Matthie ...
coq My Coq experiments Website data, configuration, and scripts in Hakyll
hott-snippets HoTT snippets
persistent-cereal Helper functions for writing Persistent instances (mirror)
xmonad-config XMonad configuration