Copyright | (c) Kristina Sojakova, DFKI Bremen 2009 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | k.sojakova@jacobs-university.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
LF.Logic_LF
Description
Documentation
data LF
Constructors
LF |
Instances