| Copyright | (c) Otto-von-Guericke University of Magdeburg |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Safe Haskell | Safe |
DFOL
Description
The DFOL folder contains the skeleton of an instance of Logic.Logic for DFOL, which is first-order logic with dependent types.