misc/type2
0
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
type2/examples/logic
History
fenris 236504e350 [mod] examples
2025-09-23 20:55:48 +02:00
..
eval [mod] example:logic 2022-03-20 21:48:13 +01:00
logic.tp2 [mod] examples 2025-09-23 20:55:48 +02:00
readme.md [mod] examples 2025-09-23 20:55:48 +02:00

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