diff options
| author | Eduardo Julian | 2019-08-23 00:03:20 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-08-23 00:03:20 -0400 |
| commit | 181f93f3e963c9738ed60f6f5e2d2a37253a0b1b (patch) | |
| tree | a2978b0184d29c499231de6120803a3f7728daad /documentation/research/Type theory/Dependent types.md | |
| parent | bf84fa3eb63fad7f2360b863e7f26005ee2d5aa8 (diff) | |
JVM type -> Lux type machinery based on signature parsing.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions