diff options
author | Nadrieril | 2019-03-15 23:45:50 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-15 23:45:50 +0100 |
commit | 4f2c27bc1ca8c2147fa8e9292c6cec04ab8d0984 (patch) | |
tree | ce4c93177f70c492c9a842c3e26d4f6390319d60 /dhall/tests | |
parent | 22aa5de3fb5836daf066add3e128173bbd396003 (diff) |
Get rid of box patterns
Closes #27
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions