Patrik Jansson's repositories
MScThesisExaminer
Some documents related to my role as examiner (for the Programming Languages area) of MSc theses at the CSE department, Chalmers and GU.
TestGraphics
Some exploration of graphics in Haskell
BNFC-meta-example
A small example use of BNFC-meta
Functional-Programming
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
icfp2016-papers
Link to preprints for ICFP'16 and co-located events
icfp2017-papers
Link to preprints for ICFP'17 and colocated events
learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
NonlinearDynamicsAndChaos
A high school project regarding nonlinear dynamics, chaos and fractals.
patrikja
Config files for my GitHub profile.
ProgrammingInHaskell
My journey through the book Programming in Haskell by Graham Hutton.
reading
Reading list and summaries
setup-agda
Set up a specific version of Agda for your GitHub Actions workflow.
snd-kursgraf
Kursgraf för SND