Description
A Category typeclass hierarchy powerful enough to encode full programs.
Description
Please see the README on GitHub at https://github.com/ChrisPenner/catalyst#readme
README.md
catalyst
Welcome to catalyst! It's a Category typeclass hierarchy powerful enough to encode full programs.
Please refer to my conference talk: Deconstructing Lambdas: an awkward guide to programming without functions.