type2/examples/logic/readme.md

Usage

• cat logic.tp2 | ../../tools/convert > /tmp/logic.tp2.json
• echo '0&1' | type2 /tmp/logic.tp2.json
• echo 'not (false and true)' | type2 /tmp/logic.tp2.json | ./eval