Inductive types - Githubissues

AndyShiue / Ende-readme

Ende is a hypothetical programming language.

23 stars 1 forks source link

Inductive types #10

Open AndyShiue opened 8 years ago

AndyShiue commented 8 years ago

[ ] memory layout
[ ] data type flattening
[ ] strict positivity
[x] induction-recursion
[x] induction-induction