This repository has been archived by the owner on Jun 9, 2021. It is now read-only.
Implement diagram type-checking #6
Labels
mathematical
Related to the theoretical foundation
Milestone
No description provided.
The text was updated successfully, but these errors were encountered: