misc/type2
0
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity
type2/examples/logic
History
Christian Fraß b848eeecd6 [mod] example:logic
2022-03-20 21:48:13 +01:00
..
eval [mod] example:logic 2022-03-20 21:48:13 +01:00
logic.tp2.json [mod] example:logic 2022-03-20 14:39:35 +01:00
readme.md [mod] update 2021-09-19 01:14:32 +02:00

readme.md

Usage

  • echo '0&1' | build/type2 examples/logic/logic.tp2.json
  • echo 'not (false and true)' | build/type2 examples/logic/logic.tp2.json | examples/logic/eval