Leonardo de Moura f57c184dbd chore: remove = true old workarounds ... @Kha The old `= true` workarounds are not needed anymore, they were due to another issue and are not related to yesterday's issue. That is, the one exposed by the `ForIn` typeclass.		2021-02-05 13:48:03 -08:00
..
Control	chore: remove = true old workarounds	2021-02-05 13:48:03 -08:00
Data	chore: remove = true old workarounds	2021-02-05 13:48:03 -08:00
System	fix: go-to-def paths on Windows	2021-01-28 11:45:33 -08:00
Classical.lean	chore: use instance (priority := <prio>)	2020-12-21 10:17:54 -08:00
Coe.lean	chore: remove nested outParam	2021-01-29 17:13:03 -08:00
Control.lean	chore: merge src/Control files	2020-11-10 18:47:23 -08:00
Core.lean	feat: add ForIn type class	2021-02-04 17:59:44 -08:00
Data.lean	feat: add helper classes for implementing parallel for	2020-12-19 14:15:47 -08:00
Fix.lean	refactor: arbitrary without explicit arguments	2020-11-25 09:07:38 -08:00
Meta.lean	fix: performance bottleneck	2021-01-24 17:45:50 -08:00
Notation.lean	feat: allow @ modifier at inductionAlt	2021-02-01 17:13:51 -08:00
NotationExtra.lean	feat: basic unexpanders for Exists & Sigma	2021-02-04 11:04:37 +01:00
Prelude.lean	chore: remove id_delta (aka idDelta)	2021-02-02 13:59:37 -08:00
SimpLemmas.lean	feat: simpArrow	2021-01-01 17:15:15 -08:00
SizeOf.lean	chore: define SizeOf Lean.Name instance manually	2021-01-20 18:07:14 -08:00
System.lean	chore: remove #lang lean4 header	2020-10-25 09:54:07 -07:00
Util.lean	feat: add Prelude.lean	2020-11-10 18:08:18 -08:00
WF.lean	chore: adjust WF.lean	2021-02-01 18:08:48 -08:00