clean house
Closed this issue · 3 comments
ivoysey commented
- update the readme
- check over comments, add docs where needed
- push lemmas into the right files, maybe rename some
- package up some how, maybe Docker process that @cyrus- found?
ivoysey commented
comment somewhere in the readme about the trickiness around weakening
cyrus- commented
since we have extra room in the paper, maybe put some of the stuff about weakening and sigma representation in the Agda section itself