Derek Leung

Bug: Membership status displayed incorrectly after signing waiver

1

I signed a new waiver this year and I saw this on my membership screen: URL was https://mitoc-trips.mit.edu/?event=signing_complete It looks like maybe there's a small bug here? https://github.com/DavidCain/mitoc-trips/blob/25144b5be3f890cfa80caf39fce94b5a7ce329b6/ws/templates/participants/view.html#L212C29-L212C29

### Summary It would be nice for a module to be able to specify that all type parameters in its functions/lemmas are to be annotated with `(!new)`. ### Background and...