PTQ
An implementation of Montague's PTQ (Proper Treatment of Quantification). It translates simple plain English sentences into formulas of intentional logic.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
over 8 years ago
0.0.8
over 8 years ago
Versions
5
5
Downloads
4,686 total
4,686 total
Loading...
Readme
Loading...
Links
| Registry | hackage.haskell.org |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/PTQ
spec |
| License | Other |
| First Release | over 16 years ago |
| Last Synced | 7 days ago |