diff options
| author | Nadrieril | 2019-05-09 21:54:45 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-09 21:54:45 +0200 |
| commit | dae106b3de0888e8a704c0efa3f9d991590f7858 (patch) | |
| tree | 750daf7cb5b44bed4772ace3457c583c0ef86e4d /dhall-lang | |
| parent | 6444faa2dee271e6d22226dc30b659e13fa8aead (diff) | |
Rewrite the StaticType trait and everything around it
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions