├── .gitignore ├── README.md ├── _config.yml ├── afp.html ├── cabal.project ├── css └── metropolis.css ├── hie.yaml ├── img ├── attack.png ├── attack1.png ├── attack2.png ├── attack3.png ├── attack4.png ├── attack5.png ├── diceroll.jpg ├── eeveecard.png ├── energy │ ├── colorless.webp │ ├── darkness.webp │ ├── dragon.webp │ ├── fighting.webp │ ├── fire.png │ ├── grass.webp │ ├── lightning.webp │ ├── metal.webp │ ├── psychic.webp │ └── water.webp ├── goomycard.png ├── grookeycard.png ├── haskell-rainbow.gif ├── libs.png ├── monads.png ├── pikachu.png ├── pikachucard.png ├── random_number.png ├── rps.png ├── session1.png ├── session2.png └── zurihac.svg ├── infofp.html ├── infofp ├── Monadic.hs ├── Task1.hs ├── Task2.hs ├── Task3.hs └── infofp.cabal ├── session1.html ├── session1 ├── Monadic.hs ├── Operational1.hs ├── Operational2.hs ├── Task1.hs ├── Task2.hs ├── Task3.hs └── session1.cabal ├── session2.html └── session2 ├── CloudyRolly.hs ├── DiceRoll.hs ├── DiceRollIncrement.hs ├── DiceRollSolution.hs └── session2.cabal /.gitignore: -------------------------------------------------------------------------------- 1 | dist*/ -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/README.md -------------------------------------------------------------------------------- /_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/_config.yml -------------------------------------------------------------------------------- /afp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/afp.html -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/cabal.project -------------------------------------------------------------------------------- /css/metropolis.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/css/metropolis.css -------------------------------------------------------------------------------- /hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/hie.yaml -------------------------------------------------------------------------------- /img/attack.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/attack.png -------------------------------------------------------------------------------- /img/attack1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/attack1.png -------------------------------------------------------------------------------- /img/attack2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/attack2.png -------------------------------------------------------------------------------- /img/attack3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/attack3.png -------------------------------------------------------------------------------- /img/attack4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/attack4.png -------------------------------------------------------------------------------- /img/attack5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/attack5.png -------------------------------------------------------------------------------- /img/diceroll.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/diceroll.jpg -------------------------------------------------------------------------------- /img/eeveecard.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/eeveecard.png -------------------------------------------------------------------------------- /img/energy/colorless.webp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/energy/colorless.webp -------------------------------------------------------------------------------- /img/energy/darkness.webp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/energy/darkness.webp -------------------------------------------------------------------------------- /img/energy/dragon.webp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/energy/dragon.webp -------------------------------------------------------------------------------- /img/energy/fighting.webp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/energy/fighting.webp -------------------------------------------------------------------------------- /img/energy/fire.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/energy/fire.png -------------------------------------------------------------------------------- /img/energy/grass.webp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/energy/grass.webp -------------------------------------------------------------------------------- /img/energy/lightning.webp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/energy/lightning.webp -------------------------------------------------------------------------------- /img/energy/metal.webp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/energy/metal.webp -------------------------------------------------------------------------------- /img/energy/psychic.webp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/energy/psychic.webp -------------------------------------------------------------------------------- /img/energy/water.webp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/energy/water.webp -------------------------------------------------------------------------------- /img/goomycard.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/goomycard.png -------------------------------------------------------------------------------- /img/grookeycard.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/grookeycard.png -------------------------------------------------------------------------------- /img/haskell-rainbow.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/haskell-rainbow.gif -------------------------------------------------------------------------------- /img/libs.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/libs.png -------------------------------------------------------------------------------- /img/monads.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/monads.png -------------------------------------------------------------------------------- /img/pikachu.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/pikachu.png -------------------------------------------------------------------------------- /img/pikachucard.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/pikachucard.png -------------------------------------------------------------------------------- /img/random_number.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/random_number.png -------------------------------------------------------------------------------- /img/rps.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/rps.png -------------------------------------------------------------------------------- /img/session1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/session1.png -------------------------------------------------------------------------------- /img/session2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/session2.png -------------------------------------------------------------------------------- /img/zurihac.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/img/zurihac.svg -------------------------------------------------------------------------------- /infofp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/infofp.html -------------------------------------------------------------------------------- /infofp/Monadic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/infofp/Monadic.hs -------------------------------------------------------------------------------- /infofp/Task1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/infofp/Task1.hs -------------------------------------------------------------------------------- /infofp/Task2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/infofp/Task2.hs -------------------------------------------------------------------------------- /infofp/Task3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/infofp/Task3.hs -------------------------------------------------------------------------------- /infofp/infofp.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/infofp/infofp.cabal -------------------------------------------------------------------------------- /session1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session1.html -------------------------------------------------------------------------------- /session1/Monadic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session1/Monadic.hs -------------------------------------------------------------------------------- /session1/Operational1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session1/Operational1.hs -------------------------------------------------------------------------------- /session1/Operational2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session1/Operational2.hs -------------------------------------------------------------------------------- /session1/Task1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session1/Task1.hs -------------------------------------------------------------------------------- /session1/Task2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session1/Task2.hs -------------------------------------------------------------------------------- /session1/Task3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session1/Task3.hs -------------------------------------------------------------------------------- /session1/session1.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session1/session1.cabal -------------------------------------------------------------------------------- /session2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session2.html -------------------------------------------------------------------------------- /session2/CloudyRolly.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session2/CloudyRolly.hs -------------------------------------------------------------------------------- /session2/DiceRoll.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session2/DiceRoll.hs -------------------------------------------------------------------------------- /session2/DiceRollIncrement.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session2/DiceRollIncrement.hs -------------------------------------------------------------------------------- /session2/DiceRollSolution.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session2/DiceRollSolution.hs -------------------------------------------------------------------------------- /session2/session2.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/serras/zurihac-workshop/HEAD/session2/session2.cabal --------------------------------------------------------------------------------