]> git.immae.eu Git - github/fretlink/ansible-clever.git/commit
add travis ci step for typechecking dhall
authorHussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com>
Mon, 19 Nov 2018 17:57:33 +0000 (18:57 +0100)
committerHussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com>
Tue, 20 Nov 2018 10:44:59 +0000 (11:44 +0100)
commit8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f
tree7357da6fdb0bb037a592bd454f13cdc078ebe16d
parent50a9e710f9cff8be9d85d7161bb454a46c3f5734
add travis ci step for typechecking dhall
.travis.yml
dhall-1.18.nix [new file with mode: 0644]
dhall/mkConfig.dhall
scripts/dhall_check.sh