diff options
| author | Eduardo Julian | 2021-11-29 16:21:32 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-11-29 16:21:32 -0400 |
| commit | bd6ff5014b4d9fad6c6fa6ab3a2e30fc768687e1 (patch) | |
| tree | fa87da363df4f1da39226a134ad137d648291368 /documentation/bookmark/type_theory/dependent.md | |
| parent | cf72ee2b6c8fe87e43f3e6553fcb13588fb560a3 (diff) | |
Ruby compilation that is better adjusted to both normal Ruby and MRuby.
Diffstat (limited to 'documentation/bookmark/type_theory/dependent.md')
| -rw-r--r-- | documentation/bookmark/type_theory/dependent.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/bookmark/type_theory/dependent.md b/documentation/bookmark/type_theory/dependent.md index abdc01942..f731e988a 100644 --- a/documentation/bookmark/type_theory/dependent.md +++ b/documentation/bookmark/type_theory/dependent.md @@ -1,5 +1,6 @@ # Exemplar +1. [Mononym: Type-Level Named Values in Rust - Part 1: Demo and Implementation](https://maybevoid.com/blog/mononym-part-1/) 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/ |