idris-hackers / software-foundations

Software Foundations in Idris
https://idris-hackers.github.io/software-foundations
MIT License
452 stars 34 forks source link

Change Church namespace unit tests #56

Closed MarcelineVQ closed 5 years ago

MarcelineVQ commented 5 years ago

Fix unit tests to work with recent Idris versions Add explanation for idris' treatment of lower case words in types Uncomment exp'_1 unit test as it works with the given exp' type

MarcelineVQ commented 5 years ago

addresses #55

yurrriq commented 5 years ago

Thanks! I’ll check this out and rebuild the PDF over the weekend.

yurrriq commented 5 years ago

Merging this at long last.. Thanks for your patience.. I'll rebuild the PDF when I get a chance..

MarcelineVQ commented 5 years ago

no worries, figured you were just busy or had missed it