summaryrefslogtreecommitdiff
path: root/dhall_parser/.gitignore
diff options
context:
space:
mode:
authorNadrieril2019-04-06 23:41:32 +0200
committerNadrieril2019-04-06 23:41:32 +0200
commit2e29ffcff718db2f95372c6f5258338df92ea213 (patch)
tree5c81a79487a8a3c984e18fa7e0745432a3c092bb /dhall_parser/.gitignore
parentb0eb080caab28196a09c5b60c5b6556846732563 (diff)
More improvements to typecheck
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions