syntax for Freyd multicategories

Last updated Mar 28, 2024