/functor-network

a blog platform for mathematicians

Primary LanguageHaskellMIT LicenseMIT

Watchers