August 26, 2018 – September 2, 2018
Overview
Excluding merges, 2 authors
have pushed
1 commit to master and
7 commits
to all branches.
On master, 6 files
have changed and there have been
60 additions and
36 deletions.
1 Pull request merged by 1 person
-
Merged
#125
Allow dhall-1.17.
Sep 1, 2018
2 Pull requests proposed by 1 person
-
Proposed
#126
Don't blindly walk under Lam (fixes #124)
Sep 1, 2018 -
Proposed
#127
Fix two inexhaustive patterns
Sep 1, 2018
1 Issue created by 1 person
-
Opened
#124
Error using cached version of prelude and types (using master version of dhall)
Aug 29, 2018