├── .gitignore ├── A1 ├── turtle-graphics-glut-0.1.0.0 │ ├── LICENSE │ ├── Setup.hs │ ├── Turtle.hs │ ├── TurtleGraphics.hs │ ├── executable │ │ └── Example.hs │ └── turtle-graphics-glut.cabal └── turtle-graphics │ ├── LICENSE │ ├── Setup.hs │ ├── Turtle.hs │ ├── TurtleGraphics.hs │ ├── executable │ └── Example.hs │ └── turtle-graphics.cabal ├── A3 └── README.md ├── Emacs.md ├── InstallAgda.md ├── InstallHaskell.md ├── L1 ├── AFPlecture1.cabal ├── LICENSE ├── README.md ├── slides.html └── src │ ├── Lect1.hs │ ├── Signal.hs │ └── TypeClasses.hs ├── L10 ├── .gitignore ├── AFPlecture10.cabal ├── LICENSE ├── Makefile ├── Plan ├── Setup.hs ├── before │ └── src │ │ ├── Compiler │ │ ├── Compiler.hs │ │ ├── Generators.hs │ │ └── Properties.hs │ │ └── Parser1.hs └── src │ ├── Compiler │ ├── Behaviour.hs │ ├── Compiler.hs │ ├── Generators.hs │ ├── Interpreter.hs │ ├── Machine.hs │ ├── Main.hs │ ├── Makefile │ ├── Parser.hs │ ├── PolyParser.hs │ ├── Pretty.hs │ ├── PropPretty.hs │ ├── Properties.hs │ ├── Setup.hs │ ├── StackMap.hs │ ├── Syntax.hs │ ├── TypeCheck.hs │ ├── TypedGenerators.hs │ ├── Value.hs │ ├── counter-example │ ├── gcd.in │ └── power.in │ ├── Makefile │ ├── Parser1.hs │ ├── ParserTests.hs │ ├── Parsers.hs │ └── Sample.hs ├── L11 ├── AFPlecture11.cabal ├── LICENSE ├── Makefile ├── Plan ├── after │ ├── README.md │ └── src │ │ ├── 2011 │ │ ├── Expr.hs │ │ └── Typed.hs │ │ ├── 2012 │ │ ├── Expr.hs │ │ └── Typed.hs │ │ ├── 2013 │ │ ├── Expr.hs │ │ └── Typed.hs │ │ ├── 2014 │ │ ├── Expr.hs │ │ ├── Middle.hs │ │ └── Typed.hs │ │ └── 2015 │ │ ├── Expr.hs │ │ ├── Middle.hs │ │ └── Typed.hs ├── before │ └── src │ │ ├── Expr.hs │ │ ├── Middle.hs │ │ └── Typed.hs └── src │ ├── Expr.hs │ ├── Expr │ └── Gen.hs │ ├── Makefile │ ├── Middle.hs │ ├── Parser.hs │ ├── TheoryOfDatatypes.hs │ ├── TheoryOfDatatypes2.hs │ └── Typed.hs ├── L12 ├── .gitignore ├── AgdaTutorial │ ├── Basics.agda │ ├── Basics.hcr │ ├── Basics.hs │ ├── Basics_shortnames.hcr │ ├── Bool.agda │ ├── CurryHoward.agda │ ├── Datatypes.agda │ ├── Datatypes.hs │ ├── Everything.agda │ ├── Families.agda │ ├── Families.hs │ ├── FamiliesExtra.agda │ ├── Filter.agda │ ├── Makefile │ ├── Modules.agda │ ├── Nat.agda │ ├── Parity.agda │ ├── README │ ├── Records.agda │ └── SubsetMoreExplicit.agda ├── Makefile ├── Plan ├── after │ └── AgdaTutorial │ │ ├── 2014 │ │ └── Datatypes.agda │ │ └── 2015 │ │ ├── Basics.agda │ │ ├── CurryHoward.agda │ │ └── Datatypes.agda └── before │ └── AgdaTutorial │ ├── Basics.agda │ ├── CurryHoward.agda │ ├── Datatypes.agda │ └── Filter.agda ├── L13 ├── AFPlecture13.cabal ├── LICENSE ├── Makefile ├── Plan ├── after │ └── src │ │ └── 2015 │ │ ├── Add.hs │ │ ├── AssocTypes.hs │ │ ├── Families.hs │ │ └── Promotion.hs ├── before │ └── src │ │ ├── Add.hs │ │ ├── AssocTypes.hs │ │ ├── Families.hs │ │ └── Promotion.hs └── src │ ├── Add.hs │ ├── Array.hs │ ├── Array │ ├── EqInstances.hs │ ├── Example.hs │ ├── Map.hs │ ├── Properties.hs │ └── ShowInstances.hs │ ├── Array2.hs │ ├── Array3.hs │ ├── ArrayBug.hs │ ├── AssocTypes.hs │ ├── Families.hs │ ├── FunDeps.hs │ └── Promotion.hs ├── L14 ├── Part1.lhs ├── Part2.lhs └── README.md ├── L15 └── README.md ├── L16 ├── .gitignore ├── AFPlecture16.cabal ├── LICENSE ├── Makefile ├── Plan ├── Setup.hs ├── after │ └── src │ │ └── 2015 │ │ ├── Cont.hs │ │ ├── NewtypesAndDeriving.hs │ │ └── RWMonad.hs ├── before │ └── src │ │ ├── MaybeT │ │ └── Deep.hs │ │ └── RWMonad.hs ├── doc │ ├── AFP_learning_outcomes.tex │ ├── Makefile │ ├── coverage.markdown │ ├── details.markdown │ ├── log.txt │ └── overview.markdown └── src │ ├── Cont.agda │ ├── Cont.hs │ ├── FFI.hs │ ├── Generics.hs │ ├── Makefile │ ├── MaybeT │ ├── Deep.hs │ └── Shallow.hs │ ├── Memo.hs │ ├── NoGenerics.hs │ ├── RWMonad.hs │ ├── RankNTypes.hs │ └── foreign.c ├── L2 ├── AFPlecture2.cabal ├── LICENSE ├── README.md ├── Setup.hs ├── exe │ └── Main.hs ├── slides.html └── src │ ├── ANSI.hs │ ├── Animate.hs │ ├── Example.hs │ ├── InsideTriangle.hs │ ├── Matrix.hs │ ├── Render.hs │ ├── Shape.hs │ ├── Shape │ ├── Deep.hs │ └── Shallow.hs │ ├── Signal.hs │ └── Signal │ ├── Deep.hs │ ├── Example.hs │ └── Shallow.hs ├── L3 ├── .gitignore ├── AFPlecture3.cabal ├── LICENSE ├── Makefile ├── Plan ├── Setup.hs ├── after │ └── src │ │ └── 2015 │ │ ├── NotAFunctor.hs │ │ ├── Program │ │ ├── Deep1.hs │ │ ├── Deep2.hs │ │ └── Shallow.hs │ │ └── SomeFunctors.hs ├── before │ └── src │ │ ├── NotAFunctor.hs │ │ ├── Program │ │ ├── Deep1.hs │ │ ├── Deep2.hs │ │ └── Shallow.hs │ │ └── SomeFunctors.hs ├── exe │ └── Main.hs ├── latex │ └── MonadRefCard.tex └── src │ ├── ANSI.hs │ ├── Coord.hs │ ├── Game.hs │ ├── NotAFunctor.hs │ ├── Program.hs │ ├── Program │ ├── Deep1.hs │ ├── Deep2.hs │ └── Shallow.hs │ ├── RobberLanguage.hs │ ├── Snake.hs │ └── SomeFunctors.hs ├── L4 ├── AFPlecture4.cabal ├── LICENSE ├── Plan ├── after │ └── src │ │ └── 2015 │ │ └── Parsers.hs ├── before │ └── src │ │ └── Parsers.hs ├── exe │ └── Example.hs └── src │ ├── Lemmas.hs │ ├── ParseUtil.hs │ ├── Parser0.hs │ ├── Parser1.hs │ ├── Parser2.hs │ ├── Parser3.hs │ ├── ParserFromStdLib.hs │ ├── Parsers.agda │ └── Parsers.hs ├── L5 ├── AFPlecture5.cabal ├── LICENSE ├── MonadT_API_summary.hs ├── Plan ├── Setup.hs ├── after │ └── src │ │ └── 2015 │ │ ├── Interpreter0.hs │ │ ├── Interpreter1.hs │ │ ├── Interpreter2.hs │ │ └── Interpreter3.hs ├── before │ └── src │ │ ├── Interpreter0.hs │ │ ├── Interpreter1.hs │ │ ├── Interpreter2.hs │ │ └── Interpreter3.hs ├── mtl │ └── Control │ │ └── Monad │ │ ├── Class │ │ └── Reader.hs │ │ ├── Identity.hs │ │ └── Reader.hs └── src │ ├── Examples.hs │ ├── Interpreter0.hs │ ├── Interpreter1.hs │ ├── Interpreter2.hs │ ├── Interpreter3.hs │ ├── Interpreter4.hs │ ├── Parser.hs │ └── Test.hs ├── L6 └── README.md ├── L7 └── README.md ├── L8 ├── AFPlecture8.cabal ├── Correctness.hs ├── CorrectnessAndTesting.html ├── GenTree.hs ├── InsertionSort.hs ├── LICENSE ├── QCdefaulting.hs ├── README.md ├── Setup.hs └── Testing.hs ├── L9 └── README.md ├── README.md ├── eval ├── Eval-meeting_2015-02-20.md ├── Eval-meeting_2015-04-28.md ├── README.md ├── questions.md └── template.md ├── exam ├── 2008-08 │ ├── AFP_exam.pdf │ ├── Problem1a.hs │ ├── Problem1b.hs │ ├── Problem1c.hs │ ├── Problem2Test.hs │ ├── Problem2b.hs │ ├── Problem2c.hs │ └── Problem2d.hs ├── 2009-03 │ ├── AFP_exam.pdf │ ├── Problem1.hs │ ├── Problem2.hs │ ├── Problem3.hs │ ├── Problem4.hs │ └── Problem5.hs ├── 2010-03 │ ├── AFP_exam.pdf │ ├── Problem1.hs │ ├── Problem1 │ │ ├── Classify.hs │ │ ├── Deep.hs │ │ ├── Deep_Instances.hs │ │ ├── Generator.hs │ │ ├── Laws.hs │ │ ├── Shallow.hs │ │ └── Shallow_Instances.hs │ ├── Problem2.hs │ ├── Problem2 │ │ ├── NonLaws.hs │ │ ├── Prod.hs │ │ └── Proof.hs │ ├── Problem3.hs │ ├── Problem3 │ │ ├── Eval3.hs │ │ ├── Eval_expanded.hs │ │ ├── GenericType.hs │ │ ├── Main.hs │ │ └── QuestionCode.hs │ └── README ├── 2010-08 │ ├── AFP_exam.pdf │ ├── Expr.hs │ ├── Makefile │ ├── Parser.hs │ ├── Problem1.hs │ ├── Problem1 │ │ ├── CalcMInstance.hs │ │ ├── Test.hs │ │ └── Types.hs │ ├── Problem2.hs │ └── README ├── 2011-03 │ ├── AFP_exam.pdf │ ├── Makefile │ ├── Problem1.hs │ ├── Problem2.hs │ └── Problem3.hs ├── 2011-08 │ ├── AFP_exam.pdf │ ├── DateSet.hs │ ├── Spec.hs │ └── Types.hs ├── 2012-03 │ ├── AFP_exam.pdf │ ├── DSL.hs │ ├── README │ ├── Spec.hs │ └── Types.hs ├── 2012-08 │ ├── AFP_exam.pdf │ ├── AFP_exam_20120828.lhs │ ├── DSL.hs │ ├── DSL │ │ ├── Deep.hs │ │ └── Shallow.hs │ ├── Makefile │ ├── Matrix.hs │ ├── README │ ├── Spec.hs │ └── Types.hs ├── 2013-03 │ ├── AFP_exam.pdf │ ├── DSL.hs │ ├── Main.hs │ ├── README │ ├── Spec.hs │ └── Types.hs ├── 2013-08 │ ├── AFP_exam.pdf │ ├── DSL.hs │ ├── README │ ├── Spec.hs │ ├── T │ │ ├── A │ │ │ ├── B │ │ │ └── C │ │ └── D │ │ │ └── E │ └── Types.hs ├── 2014-03 │ ├── AFP_exam.pdf │ ├── DSL.hs │ ├── README │ ├── Spec.hs │ ├── TestDSL.hs │ ├── TestSpec.hs │ └── Types.hs ├── 2014-08 │ ├── AFP_exam.pdf │ ├── DSL │ │ ├── API.hs │ │ ├── Common.hs │ │ ├── Deep.hs │ │ ├── Derived.hs │ │ ├── Prop.hs │ │ └── Shallow.hs │ ├── README │ ├── Spec.hs │ └── Types.hs ├── 2015-03 │ ├── AFP_exam.lhs │ ├── AFP_exam.pdf │ ├── AFPexam201503.cabal │ ├── DSL.hs │ ├── LICENSE │ ├── README.md │ ├── Setup.hs │ ├── Spec.hs │ ├── Types.hs │ └── anon_results.md ├── 2015-08 │ ├── AFP_exam.lhs │ ├── AFP_exam.pdf │ ├── AFPexam201508.cabal │ ├── DSL.hs │ ├── README.md │ ├── RobotLib.hs │ ├── Spec.hs │ ├── Types.hs │ └── anon_results.md └── README.md ├── history.md ├── latex └── sigplanconf.cls └── re-lab.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/.gitignore -------------------------------------------------------------------------------- /A1/turtle-graphics-glut-0.1.0.0/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/A1/turtle-graphics-glut-0.1.0.0/LICENSE -------------------------------------------------------------------------------- /A1/turtle-graphics-glut-0.1.0.0/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /A1/turtle-graphics-glut-0.1.0.0/Turtle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/A1/turtle-graphics-glut-0.1.0.0/Turtle.hs -------------------------------------------------------------------------------- /A1/turtle-graphics-glut-0.1.0.0/TurtleGraphics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/A1/turtle-graphics-glut-0.1.0.0/TurtleGraphics.hs -------------------------------------------------------------------------------- /A1/turtle-graphics-glut-0.1.0.0/executable/Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/A1/turtle-graphics-glut-0.1.0.0/executable/Example.hs -------------------------------------------------------------------------------- /A1/turtle-graphics-glut-0.1.0.0/turtle-graphics-glut.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/A1/turtle-graphics-glut-0.1.0.0/turtle-graphics-glut.cabal -------------------------------------------------------------------------------- /A1/turtle-graphics/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/A1/turtle-graphics/LICENSE -------------------------------------------------------------------------------- /A1/turtle-graphics/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /A1/turtle-graphics/Turtle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/A1/turtle-graphics/Turtle.hs -------------------------------------------------------------------------------- /A1/turtle-graphics/TurtleGraphics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/A1/turtle-graphics/TurtleGraphics.hs -------------------------------------------------------------------------------- /A1/turtle-graphics/executable/Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/A1/turtle-graphics/executable/Example.hs -------------------------------------------------------------------------------- /A1/turtle-graphics/turtle-graphics.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/A1/turtle-graphics/turtle-graphics.cabal -------------------------------------------------------------------------------- /A3/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/A3/README.md -------------------------------------------------------------------------------- /Emacs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/Emacs.md -------------------------------------------------------------------------------- /InstallAgda.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/InstallAgda.md -------------------------------------------------------------------------------- /InstallHaskell.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/InstallHaskell.md -------------------------------------------------------------------------------- /L1/AFPlecture1.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L1/AFPlecture1.cabal -------------------------------------------------------------------------------- /L1/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L1/LICENSE -------------------------------------------------------------------------------- /L1/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L1/README.md -------------------------------------------------------------------------------- /L1/slides.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L1/slides.html -------------------------------------------------------------------------------- /L1/src/Lect1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L1/src/Lect1.hs -------------------------------------------------------------------------------- /L1/src/Signal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L1/src/Signal.hs -------------------------------------------------------------------------------- /L1/src/TypeClasses.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L1/src/TypeClasses.hs -------------------------------------------------------------------------------- /L10/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/.gitignore -------------------------------------------------------------------------------- /L10/AFPlecture10.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/AFPlecture10.cabal -------------------------------------------------------------------------------- /L10/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/LICENSE -------------------------------------------------------------------------------- /L10/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/Makefile -------------------------------------------------------------------------------- /L10/Plan: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/Plan -------------------------------------------------------------------------------- /L10/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /L10/before/src/Compiler/Compiler.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/before/src/Compiler/Compiler.hs -------------------------------------------------------------------------------- /L10/before/src/Compiler/Generators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/before/src/Compiler/Generators.hs -------------------------------------------------------------------------------- /L10/before/src/Compiler/Properties.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/before/src/Compiler/Properties.hs -------------------------------------------------------------------------------- /L10/before/src/Parser1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/before/src/Parser1.hs -------------------------------------------------------------------------------- /L10/src/Compiler/Behaviour.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/Behaviour.hs -------------------------------------------------------------------------------- /L10/src/Compiler/Compiler.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/Compiler.hs -------------------------------------------------------------------------------- /L10/src/Compiler/Generators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/Generators.hs -------------------------------------------------------------------------------- /L10/src/Compiler/Interpreter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/Interpreter.hs -------------------------------------------------------------------------------- /L10/src/Compiler/Machine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/Machine.hs -------------------------------------------------------------------------------- /L10/src/Compiler/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/Main.hs -------------------------------------------------------------------------------- /L10/src/Compiler/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/Makefile -------------------------------------------------------------------------------- /L10/src/Compiler/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/Parser.hs -------------------------------------------------------------------------------- /L10/src/Compiler/PolyParser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/PolyParser.hs -------------------------------------------------------------------------------- /L10/src/Compiler/Pretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/Pretty.hs -------------------------------------------------------------------------------- /L10/src/Compiler/PropPretty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/PropPretty.hs -------------------------------------------------------------------------------- /L10/src/Compiler/Properties.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/Properties.hs -------------------------------------------------------------------------------- /L10/src/Compiler/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /L10/src/Compiler/StackMap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/StackMap.hs -------------------------------------------------------------------------------- /L10/src/Compiler/Syntax.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/Syntax.hs -------------------------------------------------------------------------------- /L10/src/Compiler/TypeCheck.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/TypeCheck.hs -------------------------------------------------------------------------------- /L10/src/Compiler/TypedGenerators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/TypedGenerators.hs -------------------------------------------------------------------------------- /L10/src/Compiler/Value.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/Value.hs -------------------------------------------------------------------------------- /L10/src/Compiler/counter-example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/counter-example -------------------------------------------------------------------------------- /L10/src/Compiler/gcd.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/gcd.in -------------------------------------------------------------------------------- /L10/src/Compiler/power.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Compiler/power.in -------------------------------------------------------------------------------- /L10/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Makefile -------------------------------------------------------------------------------- /L10/src/Parser1.hs: -------------------------------------------------------------------------------- 1 | ../../L4/src/Parser1.hs -------------------------------------------------------------------------------- /L10/src/ParserTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/ParserTests.hs -------------------------------------------------------------------------------- /L10/src/Parsers.hs: -------------------------------------------------------------------------------- 1 | ../../L4/src/Parsers.hs -------------------------------------------------------------------------------- /L10/src/Sample.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L10/src/Sample.hs -------------------------------------------------------------------------------- /L11/AFPlecture11.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/AFPlecture11.cabal -------------------------------------------------------------------------------- /L11/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/LICENSE -------------------------------------------------------------------------------- /L11/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/Makefile -------------------------------------------------------------------------------- /L11/Plan: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/Plan -------------------------------------------------------------------------------- /L11/after/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/after/README.md -------------------------------------------------------------------------------- /L11/after/src/2011/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/after/src/2011/Expr.hs -------------------------------------------------------------------------------- /L11/after/src/2011/Typed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/after/src/2011/Typed.hs -------------------------------------------------------------------------------- /L11/after/src/2012/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/after/src/2012/Expr.hs -------------------------------------------------------------------------------- /L11/after/src/2012/Typed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/after/src/2012/Typed.hs -------------------------------------------------------------------------------- /L11/after/src/2013/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/after/src/2013/Expr.hs -------------------------------------------------------------------------------- /L11/after/src/2013/Typed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/after/src/2013/Typed.hs -------------------------------------------------------------------------------- /L11/after/src/2014/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/after/src/2014/Expr.hs -------------------------------------------------------------------------------- /L11/after/src/2014/Middle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/after/src/2014/Middle.hs -------------------------------------------------------------------------------- /L11/after/src/2014/Typed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/after/src/2014/Typed.hs -------------------------------------------------------------------------------- /L11/after/src/2015/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/after/src/2015/Expr.hs -------------------------------------------------------------------------------- /L11/after/src/2015/Middle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/after/src/2015/Middle.hs -------------------------------------------------------------------------------- /L11/after/src/2015/Typed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/after/src/2015/Typed.hs -------------------------------------------------------------------------------- /L11/before/src/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/before/src/Expr.hs -------------------------------------------------------------------------------- /L11/before/src/Middle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/before/src/Middle.hs -------------------------------------------------------------------------------- /L11/before/src/Typed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/before/src/Typed.hs -------------------------------------------------------------------------------- /L11/src/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/src/Expr.hs -------------------------------------------------------------------------------- /L11/src/Expr/Gen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/src/Expr/Gen.hs -------------------------------------------------------------------------------- /L11/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/src/Makefile -------------------------------------------------------------------------------- /L11/src/Middle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/src/Middle.hs -------------------------------------------------------------------------------- /L11/src/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/src/Parser.hs -------------------------------------------------------------------------------- /L11/src/TheoryOfDatatypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/src/TheoryOfDatatypes.hs -------------------------------------------------------------------------------- /L11/src/TheoryOfDatatypes2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/src/TheoryOfDatatypes2.hs -------------------------------------------------------------------------------- /L11/src/Typed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L11/src/Typed.hs -------------------------------------------------------------------------------- /L12/.gitignore: -------------------------------------------------------------------------------- 1 | *.agdai 2 | -------------------------------------------------------------------------------- /L12/AgdaTutorial/Basics.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Basics.agda -------------------------------------------------------------------------------- /L12/AgdaTutorial/Basics.hcr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Basics.hcr -------------------------------------------------------------------------------- /L12/AgdaTutorial/Basics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Basics.hs -------------------------------------------------------------------------------- /L12/AgdaTutorial/Basics_shortnames.hcr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Basics_shortnames.hcr -------------------------------------------------------------------------------- /L12/AgdaTutorial/Bool.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Bool.agda -------------------------------------------------------------------------------- /L12/AgdaTutorial/CurryHoward.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/CurryHoward.agda -------------------------------------------------------------------------------- /L12/AgdaTutorial/Datatypes.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Datatypes.agda -------------------------------------------------------------------------------- /L12/AgdaTutorial/Datatypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Datatypes.hs -------------------------------------------------------------------------------- /L12/AgdaTutorial/Everything.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Everything.agda -------------------------------------------------------------------------------- /L12/AgdaTutorial/Families.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Families.agda -------------------------------------------------------------------------------- /L12/AgdaTutorial/Families.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Families.hs -------------------------------------------------------------------------------- /L12/AgdaTutorial/FamiliesExtra.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/FamiliesExtra.agda -------------------------------------------------------------------------------- /L12/AgdaTutorial/Filter.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Filter.agda -------------------------------------------------------------------------------- /L12/AgdaTutorial/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Makefile -------------------------------------------------------------------------------- /L12/AgdaTutorial/Modules.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Modules.agda -------------------------------------------------------------------------------- /L12/AgdaTutorial/Nat.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Nat.agda -------------------------------------------------------------------------------- /L12/AgdaTutorial/Parity.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Parity.agda -------------------------------------------------------------------------------- /L12/AgdaTutorial/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/README -------------------------------------------------------------------------------- /L12/AgdaTutorial/Records.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/Records.agda -------------------------------------------------------------------------------- /L12/AgdaTutorial/SubsetMoreExplicit.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/AgdaTutorial/SubsetMoreExplicit.agda -------------------------------------------------------------------------------- /L12/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/Makefile -------------------------------------------------------------------------------- /L12/Plan: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/Plan -------------------------------------------------------------------------------- /L12/after/AgdaTutorial/2014/Datatypes.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/after/AgdaTutorial/2014/Datatypes.agda -------------------------------------------------------------------------------- /L12/after/AgdaTutorial/2015/Basics.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/after/AgdaTutorial/2015/Basics.agda -------------------------------------------------------------------------------- /L12/after/AgdaTutorial/2015/CurryHoward.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/after/AgdaTutorial/2015/CurryHoward.agda -------------------------------------------------------------------------------- /L12/after/AgdaTutorial/2015/Datatypes.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/after/AgdaTutorial/2015/Datatypes.agda -------------------------------------------------------------------------------- /L12/before/AgdaTutorial/Basics.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/before/AgdaTutorial/Basics.agda -------------------------------------------------------------------------------- /L12/before/AgdaTutorial/CurryHoward.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/before/AgdaTutorial/CurryHoward.agda -------------------------------------------------------------------------------- /L12/before/AgdaTutorial/Datatypes.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/before/AgdaTutorial/Datatypes.agda -------------------------------------------------------------------------------- /L12/before/AgdaTutorial/Filter.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L12/before/AgdaTutorial/Filter.agda -------------------------------------------------------------------------------- /L13/AFPlecture13.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/AFPlecture13.cabal -------------------------------------------------------------------------------- /L13/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/LICENSE -------------------------------------------------------------------------------- /L13/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/Makefile -------------------------------------------------------------------------------- /L13/Plan: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/Plan -------------------------------------------------------------------------------- /L13/after/src/2015/Add.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/after/src/2015/Add.hs -------------------------------------------------------------------------------- /L13/after/src/2015/AssocTypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/after/src/2015/AssocTypes.hs -------------------------------------------------------------------------------- /L13/after/src/2015/Families.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/after/src/2015/Families.hs -------------------------------------------------------------------------------- /L13/after/src/2015/Promotion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/after/src/2015/Promotion.hs -------------------------------------------------------------------------------- /L13/before/src/Add.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/before/src/Add.hs -------------------------------------------------------------------------------- /L13/before/src/AssocTypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/before/src/AssocTypes.hs -------------------------------------------------------------------------------- /L13/before/src/Families.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/before/src/Families.hs -------------------------------------------------------------------------------- /L13/before/src/Promotion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/before/src/Promotion.hs -------------------------------------------------------------------------------- /L13/src/Add.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/Add.hs -------------------------------------------------------------------------------- /L13/src/Array.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/Array.hs -------------------------------------------------------------------------------- /L13/src/Array/EqInstances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/Array/EqInstances.hs -------------------------------------------------------------------------------- /L13/src/Array/Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/Array/Example.hs -------------------------------------------------------------------------------- /L13/src/Array/Map.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/Array/Map.hs -------------------------------------------------------------------------------- /L13/src/Array/Properties.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/Array/Properties.hs -------------------------------------------------------------------------------- /L13/src/Array/ShowInstances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/Array/ShowInstances.hs -------------------------------------------------------------------------------- /L13/src/Array2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/Array2.hs -------------------------------------------------------------------------------- /L13/src/Array3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/Array3.hs -------------------------------------------------------------------------------- /L13/src/ArrayBug.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/ArrayBug.hs -------------------------------------------------------------------------------- /L13/src/AssocTypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/AssocTypes.hs -------------------------------------------------------------------------------- /L13/src/Families.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/Families.hs -------------------------------------------------------------------------------- /L13/src/FunDeps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/FunDeps.hs -------------------------------------------------------------------------------- /L13/src/Promotion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L13/src/Promotion.hs -------------------------------------------------------------------------------- /L14/Part1.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L14/Part1.lhs -------------------------------------------------------------------------------- /L14/Part2.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L14/Part2.lhs -------------------------------------------------------------------------------- /L14/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L14/README.md -------------------------------------------------------------------------------- /L15/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L15/README.md -------------------------------------------------------------------------------- /L16/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/.gitignore -------------------------------------------------------------------------------- /L16/AFPlecture16.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/AFPlecture16.cabal -------------------------------------------------------------------------------- /L16/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/LICENSE -------------------------------------------------------------------------------- /L16/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/Makefile -------------------------------------------------------------------------------- /L16/Plan: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/Plan -------------------------------------------------------------------------------- /L16/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /L16/after/src/2015/Cont.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/after/src/2015/Cont.hs -------------------------------------------------------------------------------- /L16/after/src/2015/NewtypesAndDeriving.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/after/src/2015/NewtypesAndDeriving.hs -------------------------------------------------------------------------------- /L16/after/src/2015/RWMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/after/src/2015/RWMonad.hs -------------------------------------------------------------------------------- /L16/before/src/MaybeT/Deep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/before/src/MaybeT/Deep.hs -------------------------------------------------------------------------------- /L16/before/src/RWMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/before/src/RWMonad.hs -------------------------------------------------------------------------------- /L16/doc/AFP_learning_outcomes.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/doc/AFP_learning_outcomes.tex -------------------------------------------------------------------------------- /L16/doc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/doc/Makefile -------------------------------------------------------------------------------- /L16/doc/coverage.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/doc/coverage.markdown -------------------------------------------------------------------------------- /L16/doc/details.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/doc/details.markdown -------------------------------------------------------------------------------- /L16/doc/log.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/doc/log.txt -------------------------------------------------------------------------------- /L16/doc/overview.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/doc/overview.markdown -------------------------------------------------------------------------------- /L16/src/Cont.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/src/Cont.agda -------------------------------------------------------------------------------- /L16/src/Cont.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/src/Cont.hs -------------------------------------------------------------------------------- /L16/src/FFI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/src/FFI.hs -------------------------------------------------------------------------------- /L16/src/Generics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/src/Generics.hs -------------------------------------------------------------------------------- /L16/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/src/Makefile -------------------------------------------------------------------------------- /L16/src/MaybeT/Deep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/src/MaybeT/Deep.hs -------------------------------------------------------------------------------- /L16/src/MaybeT/Shallow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/src/MaybeT/Shallow.hs -------------------------------------------------------------------------------- /L16/src/Memo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/src/Memo.hs -------------------------------------------------------------------------------- /L16/src/NoGenerics.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/src/NoGenerics.hs -------------------------------------------------------------------------------- /L16/src/RWMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/src/RWMonad.hs -------------------------------------------------------------------------------- /L16/src/RankNTypes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/src/RankNTypes.hs -------------------------------------------------------------------------------- /L16/src/foreign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L16/src/foreign.c -------------------------------------------------------------------------------- /L2/AFPlecture2.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/AFPlecture2.cabal -------------------------------------------------------------------------------- /L2/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/LICENSE -------------------------------------------------------------------------------- /L2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/README.md -------------------------------------------------------------------------------- /L2/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /L2/exe/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/exe/Main.hs -------------------------------------------------------------------------------- /L2/slides.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/slides.html -------------------------------------------------------------------------------- /L2/src/ANSI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/src/ANSI.hs -------------------------------------------------------------------------------- /L2/src/Animate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/src/Animate.hs -------------------------------------------------------------------------------- /L2/src/Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/src/Example.hs -------------------------------------------------------------------------------- /L2/src/InsideTriangle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/src/InsideTriangle.hs -------------------------------------------------------------------------------- /L2/src/Matrix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/src/Matrix.hs -------------------------------------------------------------------------------- /L2/src/Render.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/src/Render.hs -------------------------------------------------------------------------------- /L2/src/Shape.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/src/Shape.hs -------------------------------------------------------------------------------- /L2/src/Shape/Deep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/src/Shape/Deep.hs -------------------------------------------------------------------------------- /L2/src/Shape/Shallow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/src/Shape/Shallow.hs -------------------------------------------------------------------------------- /L2/src/Signal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/src/Signal.hs -------------------------------------------------------------------------------- /L2/src/Signal/Deep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/src/Signal/Deep.hs -------------------------------------------------------------------------------- /L2/src/Signal/Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/src/Signal/Example.hs -------------------------------------------------------------------------------- /L2/src/Signal/Shallow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L2/src/Signal/Shallow.hs -------------------------------------------------------------------------------- /L3/.gitignore: -------------------------------------------------------------------------------- 1 | latex/MonadRefCard.pdf 2 | -------------------------------------------------------------------------------- /L3/AFPlecture3.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/AFPlecture3.cabal -------------------------------------------------------------------------------- /L3/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/LICENSE -------------------------------------------------------------------------------- /L3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/Makefile -------------------------------------------------------------------------------- /L3/Plan: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/Plan -------------------------------------------------------------------------------- /L3/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /L3/after/src/2015/NotAFunctor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/after/src/2015/NotAFunctor.hs -------------------------------------------------------------------------------- /L3/after/src/2015/Program/Deep1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/after/src/2015/Program/Deep1.hs -------------------------------------------------------------------------------- /L3/after/src/2015/Program/Deep2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/after/src/2015/Program/Deep2.hs -------------------------------------------------------------------------------- /L3/after/src/2015/Program/Shallow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/after/src/2015/Program/Shallow.hs -------------------------------------------------------------------------------- /L3/after/src/2015/SomeFunctors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/after/src/2015/SomeFunctors.hs -------------------------------------------------------------------------------- /L3/before/src/NotAFunctor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/before/src/NotAFunctor.hs -------------------------------------------------------------------------------- /L3/before/src/Program/Deep1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/before/src/Program/Deep1.hs -------------------------------------------------------------------------------- /L3/before/src/Program/Deep2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/before/src/Program/Deep2.hs -------------------------------------------------------------------------------- /L3/before/src/Program/Shallow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/before/src/Program/Shallow.hs -------------------------------------------------------------------------------- /L3/before/src/SomeFunctors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/before/src/SomeFunctors.hs -------------------------------------------------------------------------------- /L3/exe/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/exe/Main.hs -------------------------------------------------------------------------------- /L3/latex/MonadRefCard.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/latex/MonadRefCard.tex -------------------------------------------------------------------------------- /L3/src/ANSI.hs: -------------------------------------------------------------------------------- 1 | ../../L2/src/ANSI.hs -------------------------------------------------------------------------------- /L3/src/Coord.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/src/Coord.hs -------------------------------------------------------------------------------- /L3/src/Game.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/src/Game.hs -------------------------------------------------------------------------------- /L3/src/NotAFunctor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/src/NotAFunctor.hs -------------------------------------------------------------------------------- /L3/src/Program.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/src/Program.hs -------------------------------------------------------------------------------- /L3/src/Program/Deep1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/src/Program/Deep1.hs -------------------------------------------------------------------------------- /L3/src/Program/Deep2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/src/Program/Deep2.hs -------------------------------------------------------------------------------- /L3/src/Program/Shallow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/src/Program/Shallow.hs -------------------------------------------------------------------------------- /L3/src/RobberLanguage.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/src/RobberLanguage.hs -------------------------------------------------------------------------------- /L3/src/Snake.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/src/Snake.hs -------------------------------------------------------------------------------- /L3/src/SomeFunctors.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L3/src/SomeFunctors.hs -------------------------------------------------------------------------------- /L4/AFPlecture4.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/AFPlecture4.cabal -------------------------------------------------------------------------------- /L4/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/LICENSE -------------------------------------------------------------------------------- /L4/Plan: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/Plan -------------------------------------------------------------------------------- /L4/after/src/2015/Parsers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/after/src/2015/Parsers.hs -------------------------------------------------------------------------------- /L4/before/src/Parsers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/before/src/Parsers.hs -------------------------------------------------------------------------------- /L4/exe/Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/exe/Example.hs -------------------------------------------------------------------------------- /L4/src/Lemmas.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/src/Lemmas.hs -------------------------------------------------------------------------------- /L4/src/ParseUtil.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/src/ParseUtil.hs -------------------------------------------------------------------------------- /L4/src/Parser0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/src/Parser0.hs -------------------------------------------------------------------------------- /L4/src/Parser1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/src/Parser1.hs -------------------------------------------------------------------------------- /L4/src/Parser2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/src/Parser2.hs -------------------------------------------------------------------------------- /L4/src/Parser3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/src/Parser3.hs -------------------------------------------------------------------------------- /L4/src/ParserFromStdLib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/src/ParserFromStdLib.hs -------------------------------------------------------------------------------- /L4/src/Parsers.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/src/Parsers.agda -------------------------------------------------------------------------------- /L4/src/Parsers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L4/src/Parsers.hs -------------------------------------------------------------------------------- /L5/AFPlecture5.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/AFPlecture5.cabal -------------------------------------------------------------------------------- /L5/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/LICENSE -------------------------------------------------------------------------------- /L5/MonadT_API_summary.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/MonadT_API_summary.hs -------------------------------------------------------------------------------- /L5/Plan: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/Plan -------------------------------------------------------------------------------- /L5/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /L5/after/src/2015/Interpreter0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/after/src/2015/Interpreter0.hs -------------------------------------------------------------------------------- /L5/after/src/2015/Interpreter1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/after/src/2015/Interpreter1.hs -------------------------------------------------------------------------------- /L5/after/src/2015/Interpreter2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/after/src/2015/Interpreter2.hs -------------------------------------------------------------------------------- /L5/after/src/2015/Interpreter3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/after/src/2015/Interpreter3.hs -------------------------------------------------------------------------------- /L5/before/src/Interpreter0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/before/src/Interpreter0.hs -------------------------------------------------------------------------------- /L5/before/src/Interpreter1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/before/src/Interpreter1.hs -------------------------------------------------------------------------------- /L5/before/src/Interpreter2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/before/src/Interpreter2.hs -------------------------------------------------------------------------------- /L5/before/src/Interpreter3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/before/src/Interpreter3.hs -------------------------------------------------------------------------------- /L5/mtl/Control/Monad/Class/Reader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/mtl/Control/Monad/Class/Reader.hs -------------------------------------------------------------------------------- /L5/mtl/Control/Monad/Identity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/mtl/Control/Monad/Identity.hs -------------------------------------------------------------------------------- /L5/mtl/Control/Monad/Reader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/mtl/Control/Monad/Reader.hs -------------------------------------------------------------------------------- /L5/src/Examples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/src/Examples.hs -------------------------------------------------------------------------------- /L5/src/Interpreter0.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/src/Interpreter0.hs -------------------------------------------------------------------------------- /L5/src/Interpreter1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/src/Interpreter1.hs -------------------------------------------------------------------------------- /L5/src/Interpreter2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/src/Interpreter2.hs -------------------------------------------------------------------------------- /L5/src/Interpreter3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/src/Interpreter3.hs -------------------------------------------------------------------------------- /L5/src/Interpreter4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/src/Interpreter4.hs -------------------------------------------------------------------------------- /L5/src/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/src/Parser.hs -------------------------------------------------------------------------------- /L5/src/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L5/src/Test.hs -------------------------------------------------------------------------------- /L6/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L6/README.md -------------------------------------------------------------------------------- /L7/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L7/README.md -------------------------------------------------------------------------------- /L8/AFPlecture8.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L8/AFPlecture8.cabal -------------------------------------------------------------------------------- /L8/Correctness.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L8/Correctness.hs -------------------------------------------------------------------------------- /L8/CorrectnessAndTesting.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L8/CorrectnessAndTesting.html -------------------------------------------------------------------------------- /L8/GenTree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L8/GenTree.hs -------------------------------------------------------------------------------- /L8/InsertionSort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L8/InsertionSort.hs -------------------------------------------------------------------------------- /L8/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L8/LICENSE -------------------------------------------------------------------------------- /L8/QCdefaulting.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L8/QCdefaulting.hs -------------------------------------------------------------------------------- /L8/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L8/README.md -------------------------------------------------------------------------------- /L8/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /L8/Testing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L8/Testing.hs -------------------------------------------------------------------------------- /L9/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/L9/README.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/README.md -------------------------------------------------------------------------------- /eval/Eval-meeting_2015-02-20.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/eval/Eval-meeting_2015-02-20.md -------------------------------------------------------------------------------- /eval/Eval-meeting_2015-04-28.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/eval/Eval-meeting_2015-04-28.md -------------------------------------------------------------------------------- /eval/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/eval/README.md -------------------------------------------------------------------------------- /eval/questions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/eval/questions.md -------------------------------------------------------------------------------- /eval/template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/eval/template.md -------------------------------------------------------------------------------- /exam/2008-08/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2008-08/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2008-08/Problem1a.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2008-08/Problem1a.hs -------------------------------------------------------------------------------- /exam/2008-08/Problem1b.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2008-08/Problem1b.hs -------------------------------------------------------------------------------- /exam/2008-08/Problem1c.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2008-08/Problem1c.hs -------------------------------------------------------------------------------- /exam/2008-08/Problem2Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2008-08/Problem2Test.hs -------------------------------------------------------------------------------- /exam/2008-08/Problem2b.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2008-08/Problem2b.hs -------------------------------------------------------------------------------- /exam/2008-08/Problem2c.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2008-08/Problem2c.hs -------------------------------------------------------------------------------- /exam/2008-08/Problem2d.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2008-08/Problem2d.hs -------------------------------------------------------------------------------- /exam/2009-03/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2009-03/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2009-03/Problem1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2009-03/Problem1.hs -------------------------------------------------------------------------------- /exam/2009-03/Problem2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2009-03/Problem2.hs -------------------------------------------------------------------------------- /exam/2009-03/Problem3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2009-03/Problem3.hs -------------------------------------------------------------------------------- /exam/2009-03/Problem4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2009-03/Problem4.hs -------------------------------------------------------------------------------- /exam/2009-03/Problem5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2009-03/Problem5.hs -------------------------------------------------------------------------------- /exam/2010-03/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2010-03/Problem1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem1.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem1/Classify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem1/Classify.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem1/Deep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem1/Deep.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem1/Deep_Instances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem1/Deep_Instances.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem1/Generator.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem1/Generator.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem1/Laws.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem1/Laws.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem1/Shallow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem1/Shallow.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem1/Shallow_Instances.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem1/Shallow_Instances.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem2.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem2/NonLaws.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem2/NonLaws.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem2/Prod.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem2/Prod.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem2/Proof.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem2/Proof.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem3.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem3/Eval3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem3/Eval3.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem3/Eval_expanded.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem3/Eval_expanded.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem3/GenericType.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem3/GenericType.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem3/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem3/Main.hs -------------------------------------------------------------------------------- /exam/2010-03/Problem3/QuestionCode.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/Problem3/QuestionCode.hs -------------------------------------------------------------------------------- /exam/2010-03/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-03/README -------------------------------------------------------------------------------- /exam/2010-08/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-08/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2010-08/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-08/Expr.hs -------------------------------------------------------------------------------- /exam/2010-08/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-08/Makefile -------------------------------------------------------------------------------- /exam/2010-08/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-08/Parser.hs -------------------------------------------------------------------------------- /exam/2010-08/Problem1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-08/Problem1.hs -------------------------------------------------------------------------------- /exam/2010-08/Problem1/CalcMInstance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-08/Problem1/CalcMInstance.hs -------------------------------------------------------------------------------- /exam/2010-08/Problem1/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-08/Problem1/Test.hs -------------------------------------------------------------------------------- /exam/2010-08/Problem1/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-08/Problem1/Types.hs -------------------------------------------------------------------------------- /exam/2010-08/Problem2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-08/Problem2.hs -------------------------------------------------------------------------------- /exam/2010-08/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2010-08/README -------------------------------------------------------------------------------- /exam/2011-03/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2011-03/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2011-03/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2011-03/Makefile -------------------------------------------------------------------------------- /exam/2011-03/Problem1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2011-03/Problem1.hs -------------------------------------------------------------------------------- /exam/2011-03/Problem2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2011-03/Problem2.hs -------------------------------------------------------------------------------- /exam/2011-03/Problem3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2011-03/Problem3.hs -------------------------------------------------------------------------------- /exam/2011-08/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2011-08/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2011-08/DateSet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2011-08/DateSet.hs -------------------------------------------------------------------------------- /exam/2011-08/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2011-08/Spec.hs -------------------------------------------------------------------------------- /exam/2011-08/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2011-08/Types.hs -------------------------------------------------------------------------------- /exam/2012-03/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-03/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2012-03/DSL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-03/DSL.hs -------------------------------------------------------------------------------- /exam/2012-03/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-03/README -------------------------------------------------------------------------------- /exam/2012-03/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-03/Spec.hs -------------------------------------------------------------------------------- /exam/2012-03/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-03/Types.hs -------------------------------------------------------------------------------- /exam/2012-08/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-08/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2012-08/AFP_exam_20120828.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-08/AFP_exam_20120828.lhs -------------------------------------------------------------------------------- /exam/2012-08/DSL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-08/DSL.hs -------------------------------------------------------------------------------- /exam/2012-08/DSL/Deep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-08/DSL/Deep.hs -------------------------------------------------------------------------------- /exam/2012-08/DSL/Shallow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-08/DSL/Shallow.hs -------------------------------------------------------------------------------- /exam/2012-08/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-08/Makefile -------------------------------------------------------------------------------- /exam/2012-08/Matrix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-08/Matrix.hs -------------------------------------------------------------------------------- /exam/2012-08/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-08/README -------------------------------------------------------------------------------- /exam/2012-08/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-08/Spec.hs -------------------------------------------------------------------------------- /exam/2012-08/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2012-08/Types.hs -------------------------------------------------------------------------------- /exam/2013-03/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2013-03/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2013-03/DSL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2013-03/DSL.hs -------------------------------------------------------------------------------- /exam/2013-03/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2013-03/Main.hs -------------------------------------------------------------------------------- /exam/2013-03/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2013-03/README -------------------------------------------------------------------------------- /exam/2013-03/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2013-03/Spec.hs -------------------------------------------------------------------------------- /exam/2013-03/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2013-03/Types.hs -------------------------------------------------------------------------------- /exam/2013-08/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2013-08/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2013-08/DSL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2013-08/DSL.hs -------------------------------------------------------------------------------- /exam/2013-08/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2013-08/README -------------------------------------------------------------------------------- /exam/2013-08/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2013-08/Spec.hs -------------------------------------------------------------------------------- /exam/2013-08/T/A/B: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /exam/2013-08/T/A/C: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /exam/2013-08/T/D/E: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /exam/2013-08/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2013-08/Types.hs -------------------------------------------------------------------------------- /exam/2014-03/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-03/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2014-03/DSL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-03/DSL.hs -------------------------------------------------------------------------------- /exam/2014-03/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-03/README -------------------------------------------------------------------------------- /exam/2014-03/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-03/Spec.hs -------------------------------------------------------------------------------- /exam/2014-03/TestDSL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-03/TestDSL.hs -------------------------------------------------------------------------------- /exam/2014-03/TestSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-03/TestSpec.hs -------------------------------------------------------------------------------- /exam/2014-03/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-03/Types.hs -------------------------------------------------------------------------------- /exam/2014-08/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-08/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2014-08/DSL/API.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-08/DSL/API.hs -------------------------------------------------------------------------------- /exam/2014-08/DSL/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-08/DSL/Common.hs -------------------------------------------------------------------------------- /exam/2014-08/DSL/Deep.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-08/DSL/Deep.hs -------------------------------------------------------------------------------- /exam/2014-08/DSL/Derived.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-08/DSL/Derived.hs -------------------------------------------------------------------------------- /exam/2014-08/DSL/Prop.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-08/DSL/Prop.hs -------------------------------------------------------------------------------- /exam/2014-08/DSL/Shallow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-08/DSL/Shallow.hs -------------------------------------------------------------------------------- /exam/2014-08/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-08/README -------------------------------------------------------------------------------- /exam/2014-08/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-08/Spec.hs -------------------------------------------------------------------------------- /exam/2014-08/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2014-08/Types.hs -------------------------------------------------------------------------------- /exam/2015-03/AFP_exam.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-03/AFP_exam.lhs -------------------------------------------------------------------------------- /exam/2015-03/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-03/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2015-03/AFPexam201503.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-03/AFPexam201503.cabal -------------------------------------------------------------------------------- /exam/2015-03/DSL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-03/DSL.hs -------------------------------------------------------------------------------- /exam/2015-03/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-03/LICENSE -------------------------------------------------------------------------------- /exam/2015-03/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-03/README.md -------------------------------------------------------------------------------- /exam/2015-03/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /exam/2015-03/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-03/Spec.hs -------------------------------------------------------------------------------- /exam/2015-03/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-03/Types.hs -------------------------------------------------------------------------------- /exam/2015-03/anon_results.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-03/anon_results.md -------------------------------------------------------------------------------- /exam/2015-08/AFP_exam.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-08/AFP_exam.lhs -------------------------------------------------------------------------------- /exam/2015-08/AFP_exam.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-08/AFP_exam.pdf -------------------------------------------------------------------------------- /exam/2015-08/AFPexam201508.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-08/AFPexam201508.cabal -------------------------------------------------------------------------------- /exam/2015-08/DSL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-08/DSL.hs -------------------------------------------------------------------------------- /exam/2015-08/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-08/README.md -------------------------------------------------------------------------------- /exam/2015-08/RobotLib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-08/RobotLib.hs -------------------------------------------------------------------------------- /exam/2015-08/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-08/Spec.hs -------------------------------------------------------------------------------- /exam/2015-08/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-08/Types.hs -------------------------------------------------------------------------------- /exam/2015-08/anon_results.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/2015-08/anon_results.md -------------------------------------------------------------------------------- /exam/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/exam/README.md -------------------------------------------------------------------------------- /history.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/history.md -------------------------------------------------------------------------------- /latex/sigplanconf.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/latex/sigplanconf.cls -------------------------------------------------------------------------------- /re-lab.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AFPChalmers15/AFPcourse/HEAD/re-lab.md --------------------------------------------------------------------------------