Pinned Repositories
category-exercises
Befriending cats and stealing their toys.
hscats
purescript-generics-rep-optics
Generating optics for generic data types.
purescript-naturals
Natural numbers
purescript-procrastination
Experimenting with deferred computations via a type class constraint.
purescript-type-lang
Lambda calculus at the type level.
purescript-type-map
A Map data structure at the type level.
sudohasku
sudoku terminal game using haskell brick
purescript
A strongly-typed language that compiles to JavaScript
purescript-filterable
Classes for filterable and witherable data structures
LiamGoodacre's Repositories
LiamGoodacre/purescript-type-lang
Lambda calculus at the type level.
LiamGoodacre/purescript-generics-rep-optics
Generating optics for generic data types.
LiamGoodacre/category-exercises
Befriending cats and stealing their toys.
LiamGoodacre/purescript-type-map
A Map data structure at the type level.
LiamGoodacre/purescript-naturals
Natural numbers
LiamGoodacre/purescript-procrastination
Experimenting with deferred computations via a type class constraint.
LiamGoodacre/hscats
LiamGoodacre/optics-talk
What we talk about when we talk about optics
LiamGoodacre/purescript-tagged
Phantom tags
LiamGoodacre/purescript-aff-throttler
Throttler for Aff
LiamGoodacre/purescript-moldy
Monomorphic foldables
LiamGoodacre/purescript-isotypes
iso for common newtypes.
LiamGoodacre/crosslang
LiamGoodacre/purescript-documented
Experimenting with using symbols for documentation
LiamGoodacre/purescript-record-apply
Demonstration of the applyRecord function
LiamGoodacre/purescript-red-panda
Playing with ideas for purescript-panda
LiamGoodacre/purescript-snake
Snake game
LiamGoodacre/purescript-zippable
Classes for zippable data structures
LiamGoodacre/sudohasku
sudoku terminal game using haskell brick
LiamGoodacre/alacritty-conf
LiamGoodacre/LiamGoodacre.github.io
LiamGoodacre/nvim-conf
LiamGoodacre/pkb
LiamGoodacre/provision-conf
LiamGoodacre/purescript
A strongly-typed language that compiles to JavaScript
LiamGoodacre/purescript-type-data
Data type representation at the type level.
LiamGoodacre/purescript-type-program
Type level programs
LiamGoodacre/sal
LiamGoodacre/tlrec
LiamGoodacre/tmux-conf