Skip to content

Add support for generic inductive types.#2

Open
smimram wants to merge 23 commits intomainfrom
inductive
Open

Add support for generic inductive types.#2
smimram wants to merge 23 commits intomainfrom
inductive