Primary LanguageHaskellMIT LicenseMIT
A programming framework for automated systems based on category theory (in development)