WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content
This repository was archived by the owner on Dec 30, 2018. It is now read-only.

Releases: dhall-lang/Prelude

v3.0.0

16 Oct 03:40
@Gabriella439 Gabriella439
v3.0.0
a22da69
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v3.0.0 Latest
Latest

Breaking changes:

  • Use new Some/None constructors and remove ./Prelude/{Some,None}

New features:

  • Add {Integer,Natural}/toDouble

Other changes:

  • Parenthesize examples to match new default associativity
Assets 2
Loading

v2.0.0

31 Aug 14:07
@Gabriella439 Gabriella439
v2.0.0
302881a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v2.0.0

No changes since the last release

Loading

v1.0.0

17 Jul 06:25
@f-f f-f
v1.0.0
302881a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v1.0.0

Here we start versioning the language standard on its own.

Previously it was versioned together with the reference implementation, so see here for information on previous breaking changes to the language.

The Prelude (this repo) follows the same versioning scheme, and should be versioned together with the language (as breaking changes will have to propagate here as well).

Loading