search

seereason / atp-haskell

Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
Other
16 stars 4 forks source link

A quasi quoter for entering formulas would be nice #1

Closed ddssff closed 7 months ago

ddssff commented 9 years ago

Something like this: https://github.com/seereason/hsx2hs

ddssff commented 7 months ago

There are several quasi quoters in Data.Logic.ATP.Parser so you can type

[fof| ∃y. (∀x. (x=y)) |]