diff options
| author | Nadrieril | 2019-11-11 10:52:57 +0000 |
|---|---|---|
| committer | Nadrieril | 2019-11-11 13:50:36 +0000 |
| commit | 0e4f4c5af67b4075174ace5a1c7800dae60a9d11 (patch) | |
| tree | 0c8b80b2a3f1fe5e11181f012d29d982bc6b098e /dhall/src/phase | |
| parent | 539ab468dfeca7a7b863d5166b2516a2573c044e (diff) | |
Move Span definition to its own file
And prepare for more variants
Diffstat (limited to 'dhall/src/phase')
0 files changed, 0 insertions, 0 deletions