search

idris-hackers / software-foundations

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

Maps #27

Closed clayrat closed 7 years ago

clayrat commented 7 years ago

This one is mostly ready as well, just need to think about editing the text part about imports and stdlib.

yurrriq commented 7 years ago

Cool. I'd be happy to get something in place and then go back and edit.

yurrriq commented 7 years ago

Merging and will open a PR with edits.