johnchandlerburnham/tlph johnchandlerburnham/tlph

  • Stars
    star
    1
  • Language
    Haskell
  • Created almost 6 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
johnchandlerburnham/tlph
github

johnchandlerburnham

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Notes and Exercises for Thinking with Types, Type-Level Programming in Haskell by Sandy Maguire

More Repositories

1

hpfp

Exercises and Projects for Haskell Programming from First Principles by Allen & Moronuki
HTML
33
star
2

ctfp

Exercises for Category Theory for Programmers by Bartosz Milewski
2
star
3

omega-calculus

Haskell
2
star
4

agnus

ecce agnus da
Haskell
2
star
5

dotfiles

NixOS, XMonad, termite, zsh, neovim, taffybar
Shell
1
star
6

monad-challenges-solutions

Haskell
1
star
7

johnchandlerburnham.github.io

My personal website
HTML
1
star
8

syllabytes

A Syllabic Byte Representation based on Hiragana
Haskell
1
star
9

agathic.com

CSS
1
star