/dhall-check

Check all the .dh files in a directory against a given type signature

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

dhall-check

Given a .dhall directory with a xyz.dht file containing a dhall type, this tool checks all abc.xyz.dh files in the current directory on whether they contain a valid dhall expression of the specified type.