diff options
| author | Eduardo Julian | 2021-10-09 04:17:44 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-10-09 04:17:44 -0400 |
| commit | f29d0644f15e6548af6d015ef9bb60eb6f846329 (patch) | |
| tree | 1985737bbfa9846d7defcb0af95a88e092866f69 /documentation/bookmark/type_theory | |
| parent | 30100903886160f8e187e8da4a7d4c9cafe6c50e (diff) | |
Fixed packaging issue.
Diffstat (limited to 'documentation/bookmark/type_theory')
| -rw-r--r-- | documentation/bookmark/type_theory/dependent.md (renamed from documentation/bookmark/type_theory/dependent_types.md) | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/bookmark/type_theory/dependent_types.md b/documentation/bookmark/type_theory/dependent.md index 2ba13222b..abdc01942 100644 --- a/documentation/bookmark/type_theory/dependent_types.md +++ b/documentation/bookmark/type_theory/dependent.md @@ -1,5 +1,6 @@ # Exemplar +1. [POMPOM LANGUAGE](https://github.com/caotic123/PomPom-Language) 1. [A simple type-theoretic language: Mini-TT](http://www.cse.chalmers.se/~bengt/papers/GKminiTT.pdf) 1. https://cedille.github.io/ |