feat: add simple co-inductive predicates#17

Draft

Equilibris wants to merge 10 commits intomasterfrom

coinductive-predicates

Commits on Aug 21, 2024

feat: add simple co-inductive predicates
William Sørensen
committed
fix: add copyright
William Sørensen
committed
feat: add tests
William Sørensen
committed

Commits on Aug 22, 2024

refactor: lift generation up to elabInductiveView for Shapes
William Sørensen
committed
refactor: remove usage of BinderViews
William Sørensen
committed
feat: make relation more general readying for mutuals
William Sørensen
committed

Commits on Aug 23, 2024

feat: mutual co-inductives
William Sørensen
committed
fix: imports
William Sørensen
committed
fix: add trace comment
William Sørensen
committed
fix: add comments
William Sørensen
committed