James Chapman's repositories
Relative-Monads
Relative Monad Library for Agda
Big-step-Normalisation
Agda formalisations of some big-step normalization proofs
restriction-categories
A formalisation of Restriction Categories in Agda
categories
A category theory library for Agda
Number-Theory
Currently this repo contains a translation of Thierry Coquands proof of the irrationality of 2 from agda 1 to agda 2
agda-logos
Aive Kalmus's agda logo designs
agda-stdlib
The Agda standard library
Foogle.Charts
Easy to use F# wrapper for Google Charts visualization library
fsharp.github.io
F# GitHub Community Webpages
generic-syntax
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
ITT8060.2013
ITT8060 Advanced Programming
jmchapman.github.io
website
lambda-calculus
Formalisation of normalisation by evaluation for simply typed lambda calculus extended with natural numbers, lists, pairs, and streams.
plfa.github.io
Introduction to programming language theory in Agda.