redtt icon indicating copy to clipboard operation
redtt copied to clipboard
verified publisher icon RedPRL

Make pretypes directly accessible to users

Open favonia opened this issue 7 years ago • 0 comments

This will also make inductive types more awesome.

favonia avatar Sep 04 '18 23:09 favonia