Add dependent type demos

This commit is contained in:
2022-09-19 10:25:40 -05:00
parent 0b710eed40
commit 3c3132a7b3
7 changed files with 199 additions and 15 deletions

1
.gitignore vendored
View File

@@ -3,6 +3,7 @@
# Reference: https://intellij-support.jetbrains.com/hc/en-us/articles/206544839
# User-specific stuff
.idea
.idea/**/workspace.xml
.idea/**/tasks.xml
.idea/**/usage.statistics.xml