Closed samdjstevens closed 4 years ago
Fixes #12
This is really nice work @samdjstevens . I did not expect runtime verification, but this is very well thought. Thank you !
Fixes #12