James Chapman

icon indicating a website link http://jmchapman.github.com

icon company @input-output-hk icon location Glasgow, UK icon location Free the group. Nuke the kernel. Power to the n.

Results 2 repositories owned by James Chapman

Relative-Monads

24
Stars
3
Forks
Watchers

Relative Monad Library for Agda

verified publisher icon jmchapman

TT-in-TT

16
Stars
2
Forks
Watchers

Type theory in type theory

verified publisher icon jmchapman