Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Sign up
Popular repositories
-
post-rfc
Blog post previews in need of peer review
-
Haskell-Turtle-Library
Shell programming, Haskell style
-
haskell-nix
Nix and Haskell in production
-
bench
Command-line benchmark tool
-
Haskell-Pipes-Library
Compositional pipelines
-
Haskell-Morte-Library
A bare-bones calculus-of-constructions
1,417 contributions in the last year
Activity overview
Contribution activity
November 2018
Created a pull request in dhall-lang/dhall-lang that received 5 comments
Add simplifications that take advantage of associativity
Fixes dhall-lang/dhall-haskell#652 This change updates the language to exploit associativity to expose more simplifications. The test suite contain…
- Specify CBOR encoding of Double and grammar rules for NaN and Infinity values
- Add acceptance tests
- Add requirement for adding tests when making changes
- Add normalization test for multiple let bindings
- Fix Sort / Kind mistake
- Add parser tests
- Add failure test for duplicated record fields to typecheck suite
- Allow for spaces before expression in interpolated string
- Typo in binary.md
Created an issue in dhall-lang/dhall-lang that received 13 comments
Copyright confirmation
The following contributors made contributions before this repository formally added a BSD 3-clause license: @changlinli (Changlin Li) @f-f (Fabr…