Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with equational-reasoning
A curated list of projects in awesome lists tagged with equational-reasoning .
https://github.com/thma/thma.github.io
Lambda is not a four letter word. My blog on all things haskell and FP.
equational-reasoning functional-programming haskell lambda-calculus patterns
Last synced: 29 Oct 2024
https://github.com/andreasabel/applicative
Haskell's applicative functors are multi-category functors
applicative-functors equational-reasoning haskell multi-functor
Last synced: 06 Nov 2024
