qpf
qpf copied to clipboard
Published
5 years ago
•
avigad
avigad
Datatypes as quotients of polynomial functors
Results
1
qpf issues
Sort by
recently updated
recently updated
newest added
I was "for science'ing" mutual inductive QPF things, Attempting to declare a mutually recursive uninhabited type similar to Void below. What I noticed is that when using the mutual keyword,...
