tfl-js

Version:

A TypeScript library for parsing and evaluating propositional logic formulas

1 lines • 330 B

Source Map (JSON)

{"version":3,"file":"sequent.d.ts","sourceRoot":"","sources":["../../../src/parser/sequent.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAIhD;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAqDnD"}