bf9f7560f7
(Type u) is the old (Type (u+1)) (PType u) is the old (Type u) Type* is the old (Type (_+1)) PType* is the old Type* The stdlib can be compiled, but we still have > 70 broken tests See discussion at #1341 |
||
|---|---|---|
| .. | ||
| anf.lean | ||
| builtin.lean | ||
| cf.lean | ||
| config.lean | ||
| default.lean | ||
| format.lean | ||
| internal.lean | ||
| ir.lean | ||
| pass.lean | ||
| procedure.lean | ||
| result.lean | ||
| util.lean | ||