relrod

relrod

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
15 Stars
1 Forks
15 Watchers

Repositories (2)

ct relrod/ct Coq

My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.

14
hed relrod/hed Haskell

A simple line-oriented editor in Haskell

1