Abstraction model (track 2): Idris2 ABI core — Concept/Form/Transition + CorrespondenceKind#22

hyperpolymath merged 6 commits into

mainhyperpolymath/nextgen-language-evangeliser:mainfrom

claude/dreamy-sagan-1ukmuehyperpolymath/nextgen-language-evangeliser:claude/dreamy-sagan-1ukmueCopy head branch name to clipboard