stefan-hoeck cb7add2eca [ new ] add Const applicative functor		2021-04-25 10:41:36 +01:00
..
App	Seemingly outdated and non-typechecking module was removed.	2021-02-01 16:10:54 +00:00
Applicative	[ new ] add Const applicative functor	2021-04-25 10:41:36 +01:00
Monad	[ new ] add Const applicative functor	2021-04-25 10:41:36 +01:00
App.idr	[ REPL ] Improving :doc (fixity, totality, colours) (#1316)	2021-04-21 09:39:18 +01:00
WellFounded.idr	Zero quantities were added to some interface usages.	2021-02-12 20:51:13 +00:00