Gabriel Gonzalez 39aaa86fb9

Revamp dhall-lang.org (#1526) ...

The main changes are:

* Rework the text substantially to match [the new
  "pitch"](https://discourse.dhall-lang.org/t/more-brainstorming-for-changing-the-dhall-lang-org-landing-page/101/18)
* Add a new "Hash" tab to the live demo
* Use the [new logo](https://github.com/dhall-lang/dhall-lang/pull/803)

2019-11-13 08:34:44 -08:00

133 KiB

697x269px

Raw History