Fokus för årets projekt: korrekthet.
Efter ett par år med huvudfokus på lärmaterial (tutorial / lecture notes) är fokus i år mer inriktat mot korrekthet: DSL, typer, specifikation, test, bevis.
Att göra ("produkt"):
- Designa och implementera (ett par) DSL för det valda området
- Specificera lagar som bör gälla i Haskell eller Agda
- Testa de lagar som kan testas med QuickCheck
- Bevisa någon eller några lagar i Agda
- ... samt dokumentation i form av kandidatarbetesrapport mm.
Implementationsspråk är Haskell och Agda och målet är dels att förbättra förståelsen hos projektmedlemmarna av de kurser och ämnen som väljs och dels att ge framtida studenter mer material att arbeta med. Materialet som utvecklas skall finnas öppet tillgängligt på github.