Leonardo de Moura 3f4499be08 feat: allow trailing ; at doSeqBracketed		2020-09-26 14:20:47 -07:00
..
Control	fix: remove bad instances	2020-09-17 17:31:09 -07:00
Data	chore: naming convention	2020-09-24 19:22:24 -07:00
System	chore: missing [inline]	2020-09-24 12:40:28 -07:00
Coe.lean	feat: add coeId instance	2020-09-06 08:27:26 -07:00
Control.lean	chore: split Lift.lean into MonadLift.lean, MonadFunctor.lean, and MonadRun.lean	2020-08-26 08:34:35 -07:00
Core.lean	fix: Task: make reference and -j0 semantics eager, simplify	2020-09-14 17:57:33 +02:00
Data.lean	chore: move RBTree and RBMap to Std	2020-06-25 13:26:16 -07:00
Fix.lean	chore: library/Init ==> src/Init	2019-11-22 06:06:05 -08:00
HasCoe.lean	chore: remove coeSortBool	2020-01-28 19:07:02 -08:00
LeanInit.lean	feat: allow trailing ; at doSeqBracketed	2020-09-26 14:20:47 -07:00
System.lean	chore: library/Init ==> src/Init	2019-11-22 06:06:05 -08:00
Util.lean	feat: expand helper macros	2020-09-10 14:25:07 -07:00
WF.lean	chore: remove unnecessary annotations	2020-05-12 15:02:03 -07:00