| Copyright | (c) Harm Brouwer and Noortje Venhuizen |
|---|---|
| License | Apache-2.0 |
| Maintainer | me@hbrouwer.eu, n.j.venhuizen@rug.nl |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Data.DRS.Translate
Description
DRS to FOL translation