diff options
| author | FintanH | 2019-08-03 18:54:01 +0100 |
|---|---|---|
| committer | FintanH | 2019-08-03 18:54:01 +0100 |
| commit | 8bc33c16e90ff6e1d2b4ddc7317a91190c9d8540 (patch) | |
| tree | 0303d4b3af2990c97ce6747100e1b61259fcceff /dhall/src/api | |
| parent | a390b54b6a55a348b7fc000f9f81d395996a32c1 (diff) | |
Simplify Const checking logic
Diffstat (limited to 'dhall/src/api')
0 files changed, 0 insertions, 0 deletions