]>
2018-11-20 | Merge pull request #18 from haitlahcen/dhall-interface v1.9 | blob | commitdiff | raw | |
2018-11-20 | add travis ci step for typechecking dhall | blob | commitdiff | raw | |
2018-11-19 | add dhall interface | blob | commitdiff | raw | diff to current | |