Restore support for records containing both types and terms#1173
Merged
Gabriella439 merged 27 commits intodhall-lang:masterfrom circuithub:restore-mixed-recordsAug 31, 2019
+26-269
Commits
Commits on Jul 30, 2019
Commits on Jul 31, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 2, 2019
Commits on Aug 15, 2019
Commits on Aug 31, 2019
Merge branch 'restore-mixed-records' of https://github.com/circuithub/dhall-haskell into circuithub-restore-mixed-records
committed- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- committed
