/Test/hofs/

• ../
• Apply.dfy
• Apply.dfy.expect
• Classes.dfy
• Classes.dfy.expect
• Compilation.dfy
• Compilation.dfy.expect
• Consequence.dfy
• Consequence.dfy.expect
• Examples.dfy
• Examples.dfy.expect
• Field.dfy
• Field.dfy.expect
• FnRef.dfy
• FnRef.dfy.expect
• Fold.dfy
• Fold.dfy.expect
• Frame.dfy
• Frame.dfy.expect
• Lambda.dfy
• Lambda.dfy.expect
• LambdaParsefail.dfy
• LambdaParsefail.dfy.expect
• LambdaParsefail2.dfy
• LambdaParsefail2.dfy.expect
• Monads.dfy
• Monads.dfy.expect
• MutableField.dfy
• MutableField.dfy.expect
• Naked.dfy
• Naked.dfy.expect
• OneShot.dfy
• OneShot.dfy.expect
• ReadsReads.dfy
• ReadsReads.dfy.expect
• Renaming.dfy
• Renaming.dfy.expect
• Requires.dfy
• Requires.dfy.expect
• ResolveError.dfy
• ResolveError.dfy.expect
• Simple.dfy
• Simple.dfy.expect
• TreeMapSimple.dfy
• TreeMapSimple.dfy.expect
• Twice.dfy
• Twice.dfy.expect
• Types.dfy
• Types.dfy.expect
• Underspecified.dfy
• Underspecified.dfy.expect
• VectorUpdate.dfy
• VectorUpdate.dfy.expect
• WhileLoop.dfy
• WhileLoop.dfy.expect