August 26, 2018 – September 2, 2018
Overview
Excluding merges, 1 author
has pushed
3 commits to master and
6 commits
to all branches.
On master, 4 files
have changed and there have been
119 additions and
29 deletions.
3 Pull requests merged by 1 person
-
Merged
#225
Version 1.0.0 → 2.0.0
Aug 31, 2018 -
Merged
#223
Sort fields/alternatives when β-normalizing records/unions
Aug 27, 2018 -
Merged
#222
Require non-empty whitespace after keywords
Aug 27, 2018
1 Pull request proposed by 1 person
-
Proposed
#227
New `Some`/`None` constructors for `Optional` values
Sep 1, 2018
2 Issues created by 2 people
-
Opened
#226
Syntactic sugar for multiple lets and lambdas.
Aug 29, 2018 -
Opened
#224
Unions without fields
Aug 27, 2018
4 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
6 new comments
Open
#214
Define semantics of text literals
Sep 1, 2018 -
5 new comments
Open
#220
Support nested record syntax ala nix?
Aug 31, 2018 -
3 new comments
Open
#113
Optionally present fields: is it possible?
Sep 1, 2018 -
1 new comment
Open
#139
treat directories as records
Sep 2, 2018