Denis Buzdalov 29cc1f4248 [ refactor ] Use f <$> ... instead of pure f <*> ... in traverses		2021-06-01 20:28:49 +01:00
..
Prelude	[ refactor ] Use f <$> ... instead of pure f <*> ... in traverses	2021-06-01 20:28:49 +01:00
Builtin.idr	[prelude] Add explicit constructor to every interface	2021-05-06 18:32:51 +03:00
Makefile	Make documentation from Makefile	2021-05-01 17:09:25 +01:00
Prelude.idr	[ typo ] Enum -> Range (#1099)	2021-02-22 10:05:08 +00:00
prelude.ipkg	Add --ignore-missing-ipkg flag	2021-02-27 19:39:47 +00:00
PrimIO.idr	Add RefC FFI header file support	2021-05-20 14:25:16 +01:00