Denis Buzdalov a6a82a18b5 [ prelude ] foldlM was made to be in the Foldable interface.		2021-03-26 00:59:13 +03:00
..
Basics.idr	[ new ] Perfect binary trees (#1063)	2021-02-22 09:54:16 +00:00
Cast.idr	Move Cast interface to Prelude.Cast	2021-01-27 18:31:43 +00:00
EqOrd.idr	removed trailing whitespace (#955)	2021-01-21 11:33:03 +00:00
Interfaces.idr	[ prelude ] foldlM was made to be in the Foldable interface.	2021-03-26 00:59:13 +03:00
IO.idr	Overhaul of concurrency primitives (#968)	2021-02-05 16:16:20 +00:00
Num.idr	Reorganise prelude into multiple files	2020-07-12 16:55:48 +01:00
Ops.idr	Double fixity/priority definition of >> in a single file was removed	2021-02-26 14:20:49 +00:00
Show.idr	Relax linearities in prelude	2020-12-29 21:32:01 +00:00
Types.idr	[ new ] Applicative and Monad for Pair (#1188)	2021-03-15 13:42:04 +00:00
Uninhabited.idr	removed trailing whitespace (#955)	2021-01-21 11:33:03 +00:00