Popular repositories Loading

1. types-as-specifications types-as-specifications Public

   Forked from tdietert/types-as-specifications

   Haskell 1

2. elm-workshop elm-workshop Public

   Forked from gwils/elm-workshop

   Workshop for getting into Elm

   Elm 1

3. fp-course fp-course Public

   Forked from system-f/fp-course

   Functional Programming Course

   Haskell

4. fp-course-1 fp-course-1 Public

   Forked from bitemyapp/fp-course

   Solutions for: Fork of the original Data61 course to be more Stack friendly

   Haskell

5. lets-lens lets-lens Public

   Forked from system-f/lets-lens

   Course material for lens

   Haskell

6. gadt-starter gadt-starter Public

   Forked from GaloisInc/gadt-starter

   Introductory example of GADTs for teaching purposes

   Haskell