GATlab: Modeling and Programming with Generalized Algebraic Theories

Author

Owen Lynch, Kris Brown, James Fairbanks, Evan Patterson