diff options
| author | Malte Voos <git@mal.tc> | 2024-02-16 16:18:32 +0100 |
|---|---|---|
| committer | Malte Voos <git@mal.tc> | 2024-02-16 16:18:32 +0100 |
| commit | 169ff6c0d196246e28c4413b43895ad5a377a2e5 (patch) | |
| tree | 0cce07444293e70377b5fcfa43c82195bc2fd032 /lib/Eval.ml | |
| parent | 06d52c8ba30b1bd6e1174ebffbd6cc5ba668ecc2 (diff) | |
| download | toytt-169ff6c0d196246e28c4413b43895ad5a377a2e5.tar.gz toytt-169ff6c0d196246e28c4413b43895ad5a377a2e5.zip | |
add type universe to grammar
Diffstat (limited to 'lib/Eval.ml')
0 files changed, 0 insertions, 0 deletions