kris-brown/AlgebraicTypeTheory.jl

Experimentation with implementing some papers on the topic

Julia