Warrick Macmillan's repositories
AgdaGrammar
GF Implementation of (approximate) Agda Concrete & Abstract Syntax
GF_Typechecker
An attempt at implementing a typechecker via GF AST specifications using dependent types and higher order abstract syntax
AgdaCategories
basic category theory library implemented extending McBride's CS410 code, syntax largely influenced by Awodey.
cfgv
Generic Proofs about Alpha Equality and Substitution
Club
Organization and planning for the Initial Types Club
commands2LTL
Simple Action 2 LTL library
GF-Application-Precedences
simple demonstration to overcome application precedence difficulties
gf-contrib
Community contributions to the Grammatical Framework
gf-embedded-grammars-tutorial
Examples how to use GF grammars from another program
godelsTgf
An implementation of Gödel's T in GF
Haskell-Neural-Networks
a sandbox for neural networks in haskell
HoTTProofTranslation
A repository for GF translations between agda implementations and natural language presentations of HoTT proofs.
lt2222-v22-a2
GU LT2222 V22 assignment 2
LTL-Agda
Implementation based off Huth & Ryan's LOGIC IN COMPUTER SCIENCE
martin-lof
papers of Per Martin Löf
plfa.github.io
Introduction to programming language theory in Agda
thesis
A copy of my Master's thesis at the Göteborg Universitiet
thesisOutline
Thesis roadmap for 2021.
TT-NL-Semantics
Code for talk
TypesForProgramsAndProofs2019
An implementation of lectures/excercises the Chalmers course taught by Peter Dybjer & Thierry Coquand
wmacmil.github.io
personal page