jmchapman/categories
A category theory library for Agda
Developer Profile
jmchapman
Discovered public repositories for jmchapman in the GitHub catalog.
jmchapman/agda-stdlib
The Agda standard library
jmchapman/Foogle.Charts
Easy to use F# wrapper for Google Charts visualization library
jmchapman/ITT8060
Public repository.
jmchapman/fsharp.github.io
F# GitHub Community Webpages
jmchapman/Directed-Containers
An Agda formalisation of the theory of directed containers
jmchapman/ITT8060.2013
ITT8060 Advanced Programming
jmchapman/restriction-categories
A formalisation of Restriction Categories in Agda
jmchapman/ITT9200
ITT9200 - A reading group on "Syntax and Semantics of Dependent Types" by Martin Hofmann
jmchapman/Go-Tour
Public repository.
jmchapman/Number-Theory
Currently this repo contains a translation of Thierry Coquands proof of the irrationality of 2 from agda 1 to agda 2
jmchapman/TT-in-TT
Type theory in type theory
jmchapman/Relative-Monads
Relative Monad Library for Agda
jmchapman/Big-step-Normalisation
Agda formalisations of some big-step normalization proofs