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