Commit Graph

66 Commits

Author SHA1 Message Date
Simon Jakobi 6d0251f0db README: Include Hackage link for dhall-lsp-server (#1520) 2019-11-07 17:48:38 +00:00
Simon Jakobi cd49b65c23 Move HsYAML-based code to new package dhall-yaml (#1514)
* Shared code for the dhall-to-yaml[-ng] executables stays in dhall-json.
* Shared tests are in dhall-yaml.

Fixes #1435.
2019-11-07 12:11:04 +00:00
Gabriel Gonzalez 0256b35087 Update `README` to mention pre-built OS X executables (#1229)
* Update `README` to mention pre-built OS X executables

* Retain the reference to `brew`

... based on a question by @sjakobi
2019-08-09 23:01:47 +00:00
Gabriel Gonzalez 90b62ee9d7 Replace `dhall-to-text` with `dhall text` subcommand (#1090)
Fixes #1087
2019-07-08 17:18:09 +00:00
Simon Jakobi 15e981f61c
Fix benchmarks, run them on AppVeyor (#1033)
Since we only want to ensure that the benchmarks continue to
work, we use the following benchmark arguments to run them
as quickly as possible:

- `--quick` ensures that gauge runs only a single sample.
- `--min-duration=0` sets the number of iterations per sample to 1.
- `--include-first-iter` causes gauge to accept that one iteration
  instead of discarding it and running a second one.

This also removes the dhall-command benchmark:

This was a non-standard benchmark that failed when run
without input from stdin. To replace this profiling tool,
I have added instructions for profiling the main executables
to the README.
2019-07-01 12:52:43 +02:00
Gabriel Gonzalez 2bf079e63c
Mention Docker Hub containers in README (#999) 2019-06-10 08:59:20 -07:00
Valentin Reis 326626016a Updates Nix installation guidelines for NixOS users. (#991) 2019-06-05 18:03:10 -07:00
Gabriel Gonzalez 89817b41fd
Build docker images for each package in CI (#950)
Fixes #513
2019-05-13 10:37:03 -07:00
antislava f462dcc90a
shell.nix with the core Dhall tools (#899)
* shell.nix with the core Dhall tools

* Inheriting 'pkgs' from ./nix/shared.nix. Meaningfull welcome message with
usage examples.

* Update shell.nix

Co-Authored-By: antislava <antislava@gmail.com>

* Update shell.nix

Co-Authored-By: antislava <antislava@gmail.com>

* Top-level nix-shell mention in README.md
2019-04-19 22:16:52 +02:00
Gabriel Gonzalez f4542d5bc5
Integrate `dhall-nix` into CI (#887) 2019-04-11 09:16:43 -07:00
Gabriel Gonzalez f703d271b6
Add Nix support for `dhall-lsp-server` project (#849) 2019-03-10 09:43:44 -07:00
Gabriel Gonzalez 45a6ceedaa
Explain how to use `cache.dhall-lang.org` (#827)
Related to #783
2019-02-24 12:43:43 -08:00
Gabriel Gonzalez 7604a5870e
Mention submodule in instructions (#820)
This prevents build failures when running tests for the `dhall` package
2019-02-23 10:53:38 -08:00
Ollie Charles abddcd6678 Correct Dhall installation one-liner in README (#826)
The README missed the call to `curl -L`.
2019-02-23 08:31:43 -08:00
Gabriel Gonzalez 8663bfe296
Add `linux-dhall*` jobs to Hydra (#821)
Fixes https://github.com/dhall-lang/dhall-haskell/issues/783

These can be used to conveniently install Dhall using `nix-env` on Linux systems
2019-02-22 07:32:59 -08:00
Gabriel Gonzalez 2635c582eb
Add contributing instructions for the website (#760)
This is so that I can link people to the `README` if they are interested in
improving the site
2018-12-20 10:36:10 -08:00
Gabriel Gonzalez 615eccb10d
Expand main page with high-level reasons to adopt Dhall (#754)
This adds four new sections to the page after the live demo which highlight
the common themes that I notice people use when communicating the value of
Dhall to others on social media:

* The first section emphasizes the element of delight in using the language for
  people who are into elegance and quality

* The second section focuses on more pragmatic people who are sick of YAML and
  just want a reasonable alternative that they can convince their manager to
  adopt

* The third section appeals to the LangSec crowd that wants an uncompromising
  and secure foundation for what they are buliding

* The last section targeted at the skeptic who thinks that Dhall is an ivory
  tower language not suited for real-world problems.

The second crowd (YAML emigrants) is the audience that I'm targeting the
most strongly at the moment, but I didn't want to lead with a negative reason
adopt by focusing on the limitations of YAML, so I put the section on delight
first so that we could start with a more positive tone.
2018-12-13 06:44:33 -08:00
Gabriel Gonzalez 82165d525d
Remove the `try-dhall-server` build product (#752)
This build product is no longer necessary now that the live demo can import
things from the Prelude
2018-12-11 05:20:54 -08:00
Gabriel Gonzalez d7d8139d39
Expand "Try dhall" into `dhall-lang.org` home page (#747)
This expands the "Try dhall" page to serve as a functional home page for
"dhall-lang.org" in the short term by making the following changes:

* Adding a navigation bar to the top that links to useful resources and
  official integrations
* Adding a quick summary explaining what Dhall is
2018-12-10 12:28:19 -08:00
Gabriel Gonzalez cf69f5a953
Add "Try Dhall" project (#739)
This adds three new Nix build products:

* `try-dhall-static` - The static assets for "Try Dhall"
* `try-dhall-server` - A script which serves the static assets for local
   debugging
* `tarball-try-dhall` - A tarball of the static assets

This is powered by a new small `dhall-try` package which is also included
in this change.
2018-12-06 18:00:03 -08:00
aiya000 bce7230c3e Fix README.md's dhall badge (#738)
:D
2018-12-05 08:25:54 -08:00
Gabriel Gonzalez 7dd6b76d04
Update `README`s (#732)
This updates all of the `README`s to:

* centralize all of the build/install/develop information in the
  top-level `README`
* get the nested `README`s to use a consistent style
2018-12-03 08:30:30 -08:00
Javier Neira 5db1051311 Update stack/cabal config to sync with new structure (#671)
Also, add build instructions for cabal and stack in alphabetical order
2018-11-06 05:42:23 -08:00
Gabriel Gonzalez aecfbc9acc
Migrate `dhall-{bash,json,text}` into this repository (#661)
The motivation for this change is:

* To catch build failures in downstream packages whenever we make a breaking
  change to the `dhall` API
* To reduce the amount of work I need in order to cut a release for all of
  these packages
* To better share Nix/CI-related logic between the projects

Note that I have not yet migrated `dhall-nix` in.  I'm waiting for
https://github.com/dhall-lang/dhall-nix/issues/17 to be fixed since
`dhall-nix` is incompatible with later versions of `megaparsec` due to
`hnix`.
2018-10-28 17:32:51 -07:00
Gabriel Gonzalez 01d6cad27f
Update `README` and Nix logic (#650)
Fixes https://github.com/dhall-lang/dhall-haskell/issues/645

Fixes https://github.com/dhall-lang/dhall-lang/issues/216

This updates the `README` with the following changes:

* Points to the language-agnostic `README` in the `dhall-lang` repository
* Retains only Haskell-specific sections of interest
* Removes the embedded LICENSE now that GitHub auto-recognizes the project
  license (#644)
* Changes the Quick Start instructions to use Nix
* Adds instructions for project development using Nix

The latter two points entailed refactors to the Nix logic to simplify the
user experience:

* `default.nix` was moved to `shared.nix` and replaced with a new `default.nix`
  that works out-of-the-box with `nix-build`
* There is a new `nix/test-dhall.nix` which users can use to create a
  `nix-shell` with Dhall as a dependency
2018-10-20 09:27:16 -07:00
Gabriel Gonzalez dbe8d7a21c
Version 1.17.0 → 1.18.0 (#636) 2018-10-15 21:08:44 -07:00
Gabriel Gonzalez befd0ed8a7
Version 1.16.1 → 1.17.0 (#556) 2018-08-31 07:39:06 -07:00
Gabriel Gonzalez 8b61990d6e
Version 1.16.0 → 1.16.1 (#521) 2018-07-22 00:03:31 -07:00
Gabriel Gonzalez 728ffcc5d7
Version 1.15.1 → 1.16.0 (#511) 2018-07-21 22:32:43 -07:00
Gabriel Gonzalez abfbfdcac9
Version 1.5.0 → 1.5.1 (#500) 2018-07-04 22:41:14 -07:00
Gabriel Gonzalez 8a8a5c48f4
Version 1.14.0 → 1.15.0 (#483) 2018-06-28 20:53:10 -07:00
Gabriel Gonzalez e1955698b2
Use GitHub instead of IPFS for Prelude (#479)
Part of https://github.com/dhall-lang/dhall-lang/issues/162
2018-06-21 15:56:12 -07:00
Gabriel Gonzalez dddfb1a8ea
Version 1.13.1 → 1.14.0 (#386) 2018-05-19 09:55:43 -07:00
Gabriel Gonzalez a38e1a5081
Version 1.13.0 → 1.13.1 (#375) 2018-05-04 07:13:08 -07:00
Gabriel Gonzalez 3fb4d0e758
Version 1.12.0 → 1.13.0 (#368) 2018-04-28 07:51:15 -07:00
Gabriel Gonzalez 7d7b8590b5
Version 1.11.1 → 1.12.0 (#334) 2018-03-24 09:51:45 -07:00
Gabriel Gonzalez 4a085aa3d6
Version 1.11.0 → 1.11.1 (#323) 2018-03-12 11:09:54 -07:00
Gabriel Gonzalez ab436c78ca
Version 1.10.0 → 1.11.0 (#318) 2018-03-08 20:24:13 -08:00
Gabriel Gonzalez 78b91b8534
Version 1.9.1 → 1.10.0 (#288) 2018-02-23 19:54:58 -08:00
Gabriel Gonzalez 80c4397307
Version 1.9.0 → 1.9.1 (#241) 2018-02-01 08:21:55 -08:00
Gabriel Gonzalez c24b6a4ad6
Version 1.8.2 → 1.9.0 (#224) 2018-01-27 11:52:46 -08:00
Gabriel Gonzalez 10c508391b
Version 1.8.1 → 1.8.2 (#192) 2017-12-14 14:33:53 -08:00
Gabriel Gonzalez 0098a90650 Version 1.8.0 → 1.8.1 2017-12-01 18:38:14 -08:00
jonathn f16502ccb3 Update URLs with new github organization (#178) 2017-11-11 23:25:05 -08:00
Gabriel Gonzalez b6ca7d22f0
Version 1.7.0 → 1.8.0 (#173) 2017-11-03 20:22:43 -07:00
Nick Johnstone afe810c1bc Fix Travis badge in README (#169)
Seems to be pointing at an old location of this repository, I have updated it to point at the current location.
2017-10-27 02:01:33 -07:00
Gabriel Gonzalez ebc884226d Version 1.6.0 → 1.7.0 (#160) 2017-10-10 20:25:19 +03:00
Gabriel Gonzalez ee6bb3d7c1 Version 1.5.1 => 1.6.0 2017-09-02 10:01:20 -07:00
Gabriel Gonzalez 3b357aa806 Version 1.5.0 => 1.5.1 2017-08-02 20:07:27 -07:00
Gabriel Gonzalez 12ad893605 Version 1.4.2 => 1.5.0 2017-07-25 20:11:53 -07:00