Leonardo de Moura 3c235c3613 chore: naming convention		2020-02-09 17:10:20 -08:00
..
Array	feat: add modifyOp	2020-02-02 17:30:56 -08:00
BinomialHeap	chore: Coe.lean ==> HasCoe.lean	2020-01-28 08:55:22 -08:00
ByteArray
Char	fix: little details	2020-01-12 08:02:48 -08:00
Fin	chore: HasModn ==> HasModN	2019-12-11 15:36:58 -08:00
HashMap	feat: add getFieldViews	2020-02-05 19:15:05 -08:00
Int	chore: Coe.lean ==> HasCoe.lean	2020-01-28 08:55:22 -08:00
List	feat: add List.findM?	2020-01-18 17:42:10 -08:00
Nat	feat: add new Coe.lean	2020-01-28 13:10:30 -08:00
Option	chore: remove coeSortBool	2020-01-28 19:07:02 -08:00
PersistentArray	refactor: naming consistency ensure List and Array have similar find* methods	2020-01-26 15:13:05 -08:00
PersistentHashMap	feat: add PersistentHashMap.forM	2019-12-21 09:22:10 -08:00
Queue
RBMap	chore: naming convention	2020-02-09 17:10:20 -08:00
RBTree	chore: naming convention	2020-02-09 17:10:20 -08:00
Stack
String	fix: proper Name literals	2020-01-24 12:38:15 -08:00
Array.lean
AssocList.lean
Basic.lean
BinomialHeap.lean
ByteArray.lean
Char.lean
DList.lean	feat: add builtin notation	2019-12-11 16:22:23 -08:00
Fin.lean
Hashable.lean	fix: leaks	2019-12-22 15:09:19 -08:00
HashMap.lean
HashSet.lean
Int.lean
List.lean
Nat.lean
Option.lean
PersistentArray.lean
PersistentHashMap.lean
PersistentHashSet.lean
Queue.lean
Random.lean	chore: avoid ^do ...	2019-12-11 06:19:12 -08:00
RBMap.lean
RBTree.lean
Repr.lean	feat: change ite and dite argument order	2020-02-03 14:11:29 -08:00
Stack.lean
String.lean
ToString.lean	feat: change ite and dite argument order	2020-02-03 14:11:29 -08:00
UInt.lean	feat: file IO using handles	2020-01-12 08:02:48 -08:00