Skip to content
GitLab
Explore
Sign in
Tags
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
v1.1
c4e8e8e6
·
Add online links
·
Nov 30, 2022
updated with slightly more complex typing rules