idris-hackers / software-foundations

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

Rel #33

Closed clayrat closed 7 years ago

clayrat commented 7 years ago

Ready for review.

yurrriq commented 7 years ago

Other than those little comments this looks good to me.

yurrriq commented 7 years ago

Feel free to merge this one yourself after those trivial changes.

yurrriq commented 7 years ago

Sure, though linking the relevant issue in my previous comment might be enough. This is a toolchain issue rather than a code one.

clayrat commented 7 years ago

Let's merge ProofObjects first maybe and add to .ipkg/Makefile after that? I feel like it'll be a merge conflict anyway.