diff options
| author | Nadrieril | 2020-10-28 22:43:34 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-10-28 22:52:41 +0000 |
| commit | 48bb9c03b0ace9efa33315e06c47a868e5c4ed36 (patch) | |
| tree | 2e8e3464fee44e88e92c0bb9330d7cf7c56cccf1 /dhall | |
| parent | 27377f045a2449c86ea3b680d168d2224c90e5e3 (diff) | |
Move table of type correspondances
Diffstat (limited to 'dhall')
0 files changed, 0 insertions, 0 deletions