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 |
Structural operations on DRSs
Synopsis
- isLambdaDRS :: DRS -> Bool
- isMergeDRS :: DRS -> Bool
- isResolvedDRS :: DRS -> Bool
- isSubDRS :: DRS -> DRS -> Bool