Skip to content
@system-f

System F

Aerial Operations, Functional Programming

Popular repositories Loading

  1. fp-course fp-course Public

    Functional Programming Course

    Haskell 4.1k 1.2k

  2. lets-lens lets-lens Public

    Course material for lens

    Haskell 231 92

  3. validation validation Public

    A data-type like Either but with an accumulating Applicative

    Haskell 99 28

  4. papa papa Public

    Reasonable Haskell default import

    Haskell 27 4

  5. zippers-course zippers-course Public

    Zippers Course

    Haskell 9 4

  6. zippers zippers Public

    A talk on zippers

    TeX 7 2

Repositories

Showing 10 of 30 repositories
  • fp-course Public

    Functional Programming Course

    Haskell 4,131 1,195 14 1 Updated Dec 2, 2024
  • lets-lens Public

    Course material for lens

    Haskell 231 92 7 2 Updated Dec 2, 2024
  • alphachar Public

    Alpha character

    Haskell 1 1 0 0 Updated Nov 9, 2023
  • digit Public

    A data-type representing digits 0-9 and other combinations

    Haskell 5 5 1 1 Updated Nov 9, 2023
  • list-zipper Public

    List zipper

    Haskell 7 4 0 0 Updated Oct 25, 2023
  • exitcode Public
    Haskell 1 5 2 0 Updated Oct 6, 2023
  • validation Public

    A data-type like Either but with an accumulating Applicative

    Haskell 99 28 20 2 Updated Jul 10, 2023
  • fp-introduction Public

    Introductory talk to FP

    TeX 4 1 0 1 Updated Jun 23, 2023
  • zippers Public

    A talk on zippers

    TeX 7 2 0 0 Updated Apr 14, 2023
  • tickle Public

    Port of Data.Binary with tighter data types and parameterised error messages

    Haskell 6 3 1 0 Updated Sep 12, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.