max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Std/Data
History
Leonardo de Moura a5a153d1fb refactor: remove foldlFrom from PersistentArray and LocalContext
2020-10-22 16:30:05 -07:00
..
AssocList.lean chore: move to new frontend 2020-10-17 14:01:25 -07:00
BinomialHeap.lean chore: move to new frontend 2020-10-20 12:50:17 -07:00
DList.lean chore: move to new frontend 2020-10-20 12:50:17 -07:00
HashMap.lean chore: move to new frontend 2020-10-20 15:34:45 -07:00
HashSet.lean chore: move to new frontend 2020-10-20 16:13:07 -07:00
PersistentArray.lean refactor: remove foldlFrom from PersistentArray and LocalContext 2020-10-22 16:30:05 -07:00
PersistentHashMap.lean chore: avoid Array.iterate and Array.iterateM 2020-10-22 16:30:04 -07:00
PersistentHashSet.lean chore: move to new frontend 2020-10-20 16:13:07 -07:00
Queue.lean chore: move to new frontend 2020-10-20 12:50:17 -07:00
RBMap.lean chore: add workaround to control IR size 2020-10-20 13:28:31 -07:00
RBTree.lean chore: move to new frontend 2020-10-20 16:13:07 -07:00
Stack.lean chore: move to new frontend 2020-10-20 13:34:01 -07:00