Open yegor256 opened 1 year ago
We have a simple command line tool that emulates a machine that understands phi-calculus: https://github.com/objectionary/phie This tool doesn't understand XMIR, but only internal format of formulas. Let's fix it: https://github.com/objectionary/phie/issues/28
Этой задачей буду заниматься я
We have a simple command line tool that emulates a machine that understands phi-calculus: https://github.com/objectionary/phie This tool doesn't understand XMIR, but only internal format of formulas. Let's fix it: https://github.com/objectionary/phie/issues/28