Leonardo de Moura d36ccb166c feat: use EIO Empty instead of IO at IO.Ref primitives		2020-08-20 12:54:15 -07:00
..
Array	feat: add Array.filterMap	2020-08-14 10:50:48 -07:00
ByteArray
Char	fix: support Windows newlines and '\r' escape	2020-03-27 13:21:21 -07:00
Fin	chore: HasModn ==> HasModN	2019-12-11 15:36:58 -08:00
FloatArray	feat: add FloatArray	2020-04-07 18:05:54 -07:00
Int	refactor: String.toNat ==> String.toNat? and String.toNat!	2020-03-23 14:29:48 -07:00
List	feat: add List.filterMapM	2020-08-14 10:50:48 -07:00
Nat	feat: basic parenthesizer	2020-05-04 14:28:36 -07:00
Option	chore: { <source> with ... } syntax	2020-05-20 15:08:43 -07:00
String	fix: String: take/drop characters, not bytes	2020-08-11 18:24:47 -07:00
Array.lean
Basic.lean	refactor: String.toNat ==> String.toNat? and String.toNat!	2020-03-23 14:29:48 -07:00
ByteArray.lean
Char.lean
Fin.lean
Float.lean	feat: expose some transcendental functions from the C library	2020-04-06 15:22:25 -07:00
FloatArray.lean	feat: add FloatArray	2020-04-07 18:05:54 -07:00
Hashable.lean	fix: leaks	2019-12-22 15:09:19 -08:00
Int.lean
List.lean
Nat.lean
Option.lean
Random.lean	feat: use EIO Empty instead of IO at IO.Ref primitives	2020-08-20 12:54:15 -07:00
Repr.lean	feat: change ite and dite argument order	2020-02-03 14:11:29 -08:00
String.lean	refactor: String.toNat ==> String.toNat? and String.toNat!	2020-03-23 14:29:48 -07:00
ToString.lean	feat: change ite and dite argument order	2020-02-03 14:11:29 -08:00
UInt.lean	feat: make sure Char.ofNat can be efficiently reduced in the kernel and WHNF	2020-03-18 16:41:48 -07:00