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
No dependent packages found.
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Filter by Kind
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 |