Free categories, free arrows and free categories with monadic actions
Updated 2024-09-01 13:55:49 +03:00
Purely-functional, coordinate-free linear algebra
Updated 2024-08-02 18:50:21 +03:00
Equational laws for free
Updated 2023-12-14 12:48:07 +03:00
A friendly effect system for Haskell
Updated 2022-01-07 23:28:08 +03:00