type2/examples/arithmetics/readme.md
2025-09-23 20:55:48 +02:00

195 B

Usage

  • cat arithmetics.tp2 | ../../tools/convert > /tmp/arithmetics.tp2.json
  • echo '2+3' | type2 /tmp/arithmetics.tp2.json
  • echo '(2+3)*5' | type2 /tmp/arithmetics.tp2.json | ./eval