Skip to content
This repository has been archived by the owner on Jun 9, 2021. It is now read-only.

Implement diagram type-checking #6

Open
NickHu opened this issue Jun 28, 2020 · 0 comments
Open

Implement diagram type-checking #6

NickHu opened this issue Jun 28, 2020 · 0 comments
Labels
mathematical Related to the theoretical foundation

Comments

@NickHu
Copy link
Owner

NickHu commented Jun 28, 2020

No description provided.

@NickHu NickHu added the mathematical Related to the theoretical foundation label Jun 28, 2020
@NickHu NickHu added this to the First working version milestone Jun 28, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
mathematical Related to the theoretical foundation
Projects
None yet
Development

No branches or pull requests

1 participant