~toastal/dhall-contribute-json

Contribute.json for the Dhall configuration language
Package dhall up
New devShells
Fromatting

refs

trunk
browse  log 

clone

read-only
https://git.sr.ht/~toastal/dhall-contribute-json
read/write
git@git.sr.ht:~toastal/dhall-contribute-json

You can also use your local clone with git send-email.

dhall-contribute-json

Why?

You like the idea of sharing a bit about your technology (like stack, bugs report, chat channel) in a standard, but you dislike that JSON is untyped, doesn’t have functions, doesn’t support imports, and pre-v5 doesn’t support comments. You can read more about contribute.json on the official site. You can read more about Dhall on their official site too.

Test drive & verify

If you have curl and json-to-dhall installed on your $PATH, you can check Mozilla’s raw contibute.json.

$ curl --compressed --silent "https://www.contributejson.org/contribute.json" \
	| json-to-dhall "(https://git.sr.ht/~toastal/dhall-contribute-json/blob/trunk/src/Contribute.dhall).Type"

License

This project is licensed under Mozilla Public License Version 2.0 (MPL-2.0) — see the LICENSE file in this project for details.

Setup

Nix + Flakes

For dev shell
$ nix develop
For automatic shell via direnv
$ cp .envrc.example .envrc
$ direnv allow

Funding

If you want to make a small contribution to the maintanence of dhall-contribute-json & other projects.

Do not follow this link