| .. |
|
CollectFVars.lean
|
chore: update structure, class, inductive
|
2020-11-27 15:09:30 -08:00 |
|
CollectLevelParams.lean
|
chore: update structure, class, inductive
|
2020-11-27 15:09:30 -08:00 |
|
CollectMVars.lean
|
chore: update structure, class, inductive
|
2020-11-27 15:09:30 -08:00 |
|
Constructions.lean
|
refactor: move Ref to Prelude and rename it to MonadRef
|
2020-11-13 16:00:31 -08:00 |
|
FindExpr.lean
|
chore: update structure, class, inductive
|
2020-11-27 15:09:30 -08:00 |
|
FindMVar.lean
|
chore: cleanup
|
2020-10-29 09:35:12 -07:00 |
|
FoldConsts.lean
|
chore: update structure, class, inductive
|
2020-11-27 15:09:30 -08:00 |
|
ForEachExpr.lean
|
chore: change checkCache type
|
2020-12-06 16:24:51 -08:00 |
|
MonadCache.lean
|
feat: add MonadStateCacheT based on StateT
|
2020-12-06 19:07:28 -08:00 |
|
Path.lean
|
fix: support single-file packages
|
2020-12-02 17:29:01 +01:00 |
|
PPExt.lean
|
chore: fall back to raw printer on pretty printing failure
|
2020-11-28 17:36:20 +01:00 |
|
Profile.lean
|
fix: reimplement import profiler
|
2020-10-27 18:53:22 +01:00 |
|
RecDepth.lean
|
chore: cleanup
|
2020-10-29 09:35:12 -07:00 |
|
Recognizers.lean
|
feat: use |>.
|
2020-11-19 08:38:47 -08:00 |
|
ReplaceExpr.lean
|
chore: update structure, class, inductive
|
2020-11-27 15:09:30 -08:00 |
|
ReplaceLevel.lean
|
chore: update structure, class, inductive
|
2020-11-27 15:09:30 -08:00 |
|
SCC.lean
|
chore: update structure, class, inductive
|
2020-11-27 15:09:30 -08:00 |
|
Sorry.lean
|
chore: cleanup
|
2020-10-29 09:35:12 -07:00 |
|
Trace.lean
|
chore: update structure, class, inductive
|
2020-11-27 15:09:30 -08:00 |
