soas-0.2.0: Second-Order Abstract Syntax implemented via Free Foil (a version of SOAS).

Index - V

VarLanguage.SOAS.Syntax.Abs
VarIdent 
1 (Type/Class)Language.SOAS.Syntax.Abs
2 (Data Constructor)Language.SOAS.Syntax.Abs
VarTyping 
1 (Data Constructor)Language.SOAS.Syntax.Abs
2 (Type/Class)Language.SOAS.Syntax.Abs
3 (Data Constructor)Language.SOAS.Impl.Generated
VarTyping' 
1 (Type/Class)Language.SOAS.Syntax.Abs
2 (Type/Class)Language.SOAS.Impl.Generated