Permalink
Switch branches/tags
Nothing to show
Commits on Sep 20, 2018
  1. Parenthesize right-associative output (#11)

    Gabriel439 committed Sep 20, 2018
    This is related to dhall-lang/dhall-lang#233
    
    Specifically, `List/fold` and `Natural/fold` produce right-associated operators,
    so the output must now be explicitly parenthesized since the default
    associativity is specified to be left-associativity
Commits on Sep 10, 2018
  1. Add `{Integer,Natural}/toDouble` (#10)

    Gabriel439 committed Sep 10, 2018
    I had forgotten to mirror these to the official Prelude when I added them to
    the Prelude used by the Haskell implementation
  2. Use new `Some` and `None` constructors (#9)

    Gabriel439 committed Sep 10, 2018
    This also removes `./Optional/{Some,None}` since they are now obsolete
Commits on Jun 28, 2018
Commits on Jun 25, 2018
  1. Add utilities for working with `dhall-json` (#6)

    Gabriel439 committed Jun 25, 2018
    dhall-lang/dhall-json#32 added `dhall-json`
    support for preserving the alternative names for unions when converting
    to JSON.  This adds two types to the Prelude to make working with this
    feature more convenient
Commits on May 19, 2018
  1. Update Prelude to reflect changes to `Natural` literals (#1)

    Gabriel439 committed May 19, 2018
    The Prelude examples and code now reflect the fact that `Natural`
    numbers don't require a leading `+`
    
    Most of the examples change to use `Natural` literals since they are now
    the more visually pleasing literal