free-compiler-0.3.0.0: A Haskell to Coq compiler.

Index - O

observeHidingFreeC.Backend.Agda.Syntax
OccursCheckFailureFreeC.IR.Unification
OFFreeC.Frontend.IR.Token
oneFreeVariableFreeC.Backend.Agda.Syntax
OpFreeC.Backend.Coq.Syntax
OpApp 
1 (Data Constructor)FreeC.Backend.Agda.Syntax
2 (Type/Class)FreeC.Backend.Agda.Syntax
OpAppPFreeC.Backend.Agda.Syntax
OpaqueFreeC.Backend.Coq.Syntax
OpenFreeC.Backend.Agda.Syntax
OpenShortHandFreeC.Backend.Agda.Syntax
OptionFreeC.Backend.Coq.Syntax
OptionSentenceFreeC.Backend.Coq.Syntax
OptionsPragmaFreeC.Backend.Agda.Syntax
OptionValueFreeC.Backend.Coq.Syntax
OrderFreeC.Backend.Coq.Syntax
OrdinaryFreeC.Backend.Agda.Syntax
OrgFileTypeFreeC.Backend.Agda.Syntax
OriginFreeC.Backend.Agda.Syntax
OrPatsFreeC.Backend.Coq.Syntax
OrPattern 
1 (Type/Class)FreeC.Backend.Coq.Syntax
2 (Data Constructor)FreeC.Backend.Coq.Syntax
OverlappableFreeC.Backend.Agda.Syntax
OVNumFreeC.Backend.Coq.Syntax
OVTextFreeC.Backend.Coq.Syntax