Compiler: MiniLog becomes co-inductive#75

Merged

bladyjoker merged 2 commits intomainfrom

bladyjoker/compiler

Mar 21, 2023

Commits on Mar 21, 2023

Removed goal cycle error in favor of what is supposedly a co-inductive logic
bladyjoker
committed
Merge branch 'main' into bladyjoker/compiler
bladyjoker
authored