diff options
author | Nadrieril Feneanar | 2020-03-17 22:53:32 +0000 |
---|---|---|
committer | GitHub | 2020-03-17 22:53:32 +0000 |
commit | 681dad33cf27b2be4f4b3cefd83998af1d7eefb2 (patch) | |
tree | 6df8ea0ec49da694f101e6205068ab3c1a4b898e /dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt | |
parent | 6d82e0040316b4feefd3d95129829f91b595b5f2 (diff) | |
parent | 0f474789a6d93086a10633cf2755e5cba68bd187 (diff) |
Merge pull request #140 from Nadrieril/Nadrieril-patch-1
Setup Github actions
Diffstat (limited to 'dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt')
0 files changed, 0 insertions, 0 deletions