tstp2agda-0.1.0.0: Proof-term reconstruction from TSTP to Agda

Index - F

F 
1 (Type/Class)Data.TSTP
2 (Data Constructor)Data.TSTP
FiDomainData.TSTP
FiFunctorsData.TSTP
FileData.TSTP
FiPredicatesData.TSTP
fnameT2A.Core
FormulaData.TSTP
formulaData.TSTP
freeVarsFData.TSTP
freeVarsTData.TSTP
FsaData.TSTP
FunData.TSTP
FunAppData.TSTP
FunctionData.TSTP