Simon Hudon 6d8927da10 fix: little details		2020-01-12 08:02:48 -08:00
..
Array	feat: add sortDeclLevelParams	2020-01-05 14:35:14 -08:00
BinomialHeap
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	chore: naming convention	2019-12-15 18:28:00 -08:00
Int	feat: add HasOfNat	2019-12-16 10:28:28 -08:00
List	chore: naming convention	2020-01-01 15:04:20 -08:00
Nat	chore: remove DecidableEq workaround	2019-11-26 17:30:18 -08:00
Option	feat: make all antiquotation kinds optional	2019-12-30 08:24:29 -08:00
PersistentArray	refactor: use PersistentArray to implement MessageLog	2019-12-22 08:11:20 -08:00
PersistentHashMap	feat: add PersistentHashMap.forM	2019-12-21 09:22:10 -08:00
Queue
RBMap
RBTree
Stack
String	fix: little details	2020-01-12 08:02:48 -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
Stack.lean
String.lean
ToString.lean
UInt.lean	feat: file IO using handles	2020-01-12 08:02:48 -08:00