Code
and stuff
about
posts
April 9, 2015
Why must inductive types be strictly positive?