Tags · Finn Voichick / qunity · GitLab

Tags give the ability to mark specific points in history as being important

v1.0

853177f3 · Fix typechecking completeness conjecture · Oct 05, 2022
```
initial release
```
Download source code

zip tar.gz tar.bz2 tar
v1.1

c4e8e8e6 · Add online links · Nov 30, 2022
```
updated with slightly more complex typing rules
```
Download source code

zip tar.gz tar.bz2 tar