docs: typed logic compiler over Class/Method/Schema and mask-fold algebra - #357

docs: typed logic compiler over Class/Method/Schema and mask-fold algebra#357

AdaWorldAPI merged 4 commits into

mainAdaWorldAPI/OGAR:mainfrom

docs/typed-logic-algebra-compiler-rfcAdaWorldAPI/OGAR:docs/typed-logic-algebra-compiler-rfcCopy head branch name to clipboard