|
Control
|
chore: naming convention
|
2020-10-31 19:19:18 -07:00 |
|
Data
|
chore: use mut
|
2020-11-07 17:32:13 -08:00 |
|
System
|
feat: add coercion from String to IO.Error
|
2020-10-31 19:19:17 -07:00 |
|
Coe.lean
|
chore: avoid Has prefix in type classes
|
2020-10-27 18:29:19 -07:00 |
|
Control.lean
|
chore: remove #lang lean4 header
|
2020-10-25 09:54:07 -07:00 |
|
Core.lean
|
chore: revert "chore: avoid .."
|
2020-11-03 15:12:23 +01:00 |
|
Data.lean
|
chore: remove #lang lean4 header
|
2020-10-25 09:54:07 -07:00 |
|
Fix.lean
|
chore: remove #lang lean4 header
|
2020-10-25 09:54:07 -07:00 |
|
LeanInit.lean
|
feat: add Quote Bool instance
|
2020-11-08 08:07:17 -08:00 |
|
System.lean
|
chore: remove #lang lean4 header
|
2020-10-25 09:54:07 -07:00 |
|
Tactics.lean
|
feat: add funext tactic macro
|
2020-11-08 07:30:24 -08:00 |
|
Util.lean
|
chore: HasToString => ToString
|
2020-10-27 16:11:48 -07:00 |
|
WF.lean
|
chore: cleanup for presentation
|
2020-11-05 12:43:02 -08:00 |
