summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/MistypedToMap3.txt (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-31Upgrade annotate-snippets versionNadrieril1-1/+1
2020-02-09Move ui outputs to a sensible placeNadrieril1-0/+0
2020-02-04Implement typechecking of toMapNadrieril1-0/+6