Similar repositories to kris-brown/AlgebraicTypeTheory.jl: