]]>
Urs comments on "Inductive family" (55586)https://nforum.ncatlab.org/discussion/6868/?Focus=55586#Comment_555862016-01-04T09:58:03+00:002024-03-29T05:41:30+00:00Urshttps://nforum.ncatlab.org/account/4/
I have added pointer from inductive type.
]]>
spitters comments on "Inductive family" (55557)https://nforum.ncatlab.org/discussion/6868/?Focus=55557#Comment_555572015-12-26T21:25:44+00:002024-03-29T05:41:30+00:00spittershttps://nforum.ncatlab.org/account/936/
Created inductive family. Requires more work, but it’s a start.