diff options
| author | Nadrieril | 2019-03-12 00:14:50 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-12 00:23:39 +0100 |
| commit | 4cd6c39d6d61c1d5a2670fe52c79bce4f11facdb (patch) | |
| tree | 6dc184feea444d901993d9f8f4956844e8122cda /dhall_parser/.gitignore | |
| parent | f1f292f5b7ed12b5b8d4a568b9db6bdbbcb23d83 (diff) | |
Handle Some and None builtins
Closes #19
Diffstat (limited to 'dhall_parser/.gitignore')
0 files changed, 0 insertions, 0 deletions