Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 4 | logplain |
-rwxr-xr-x | dhall | 808 | logplain |
l--------- | dhall-to-json -> dhall | 5 | logplain |
l--------- | dhall-to-yaml-ng -> dhall | 5 | logplain |
l--------- | json-to-dhall -> dhall | 5 | logplain |
l--------- | yaml-to-dhall -> dhall | 5 | logplain |