G github.com Beyond inductive datatypes: exploring Self types 68 points danny00 5 years ago 5 comments
