Liam Goodacre's repositories
purescript-type-lang
Lambda calculus at the type level.
purescript-generics-rep-optics
Generating optics for generic data types.
category-exercises
Befriending cats and stealing their toys.
purescript-type-map
A Map data structure at the type level.
purescript-naturals
Natural numbers
purescript-procrastination
Experimenting with deferred computations via a type class constraint.
optics-talk
What we talk about when we talk about optics
purescript-tagged
Phantom tags
purescript-moldy
Monomorphic foldables
purescript-aff-throttler
Throttler for Aff
purescript-isotypes
iso for common newtypes.
purescript-documented
Experimenting with using symbols for documentation
purescript-record-apply
Demonstration of the applyRecord function
purescript-red-panda
Playing with ideas for purescript-panda
purescript-snake
Snake game
purescript-zippable
Classes for zippable data structures
purescript
A strongly-typed language that compiles to JavaScript
Language:HaskellNOASSERTION000
purescript-torus
Torus and Circle - cyclic data structures
purescript-type-data
Data type representation at the type level.
purescript-type-program
Type level programs