documentation #195 + inference validation #126 + support for the comp…

…osition of collection-like formulae
daviddoret · Oct 1, 2023 · 178f712 · 178f712
1 parent fe9f113
commit 178f712
Show file tree

Hide file tree

Showing 3 changed files with 101 additions and 102 deletions.
diff --git a/.idea/workspace.xml b/.idea/workspace.xml