groupoid / alonzo

🧊 Типізоване ‏-ג‏‎числення
16Updated last year

Alternatives and similar repositories for alonzo:

Users that are interested in alonzo are comparing it to the libraries listed below