August 26, 2018 – September 2, 2018
Overview
Excluding merges, 2 authors
have pushed
6 commits to master and
8 commits
to all branches.
On master, 14 files
have changed and there have been
116 additions and
32 deletions.
1 Release published by 1 person
-
Published
1.17.0
dhall-1.17.0
Aug 31, 2018
6 Pull requests merged by 2 people
-
Merged
#558
Fix `Dhall.TH` haddocks
Sep 2, 2018 -
Merged
#556
Version 1.16.1 → 1.17.0
Aug 31, 2018 -
Merged
#554
α-normalize after β-normalization for integrity check
Aug 28, 2018 -
Merged
#555
Make Lint handle some transitive cases.
Aug 27, 2018 -
Merged
#552
Make semantic integrity check insensitive to field order
Aug 27, 2018 -
Merged
#551
Support identifiers beginning with keywords
Aug 27, 2018
1 Pull request proposed by 1 person
-
Proposed
#559
Add new `Some`/`None` constructors
Sep 1, 2018
4 Issues closed by 1 person
-
Closed
#557
Dhall.TH documentation header isn't formatted correctly
Sep 2, 2018 -
Closed
#553
Problem with hashed import of dhall file that uses constructors keyword
Aug 28, 2018 -
Closed
#548
Semantic integrity hash affected by field order
Aug 27, 2018 -
Closed
#547
parsing identifier which name starts with reserved keyword
Aug 27, 2018