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.
fintanh / dhall-check Goto Github PK
View Code? Open in Web Editor NEWThis project forked from anfelor/dhall-check
Check all the .dh files in a directory against a given type signature
License: BSD 3-Clause "New" or "Revised" License