|
frontends/lean
|
fix: show #eval errors
|
2019-10-18 13:10:13 +02:00 |
|
init
|
chore: update stage0
|
2019-10-04 14:37:33 -07:00 |
|
kernel
|
feat: add Level.isEquiv
|
2019-10-21 10:56:59 -07:00 |
|
library
|
chore: mark dead code
|
2019-10-21 10:25:38 -07:00 |
|
runtime
|
chore: try (to fix) Windows build
|
2019-10-06 18:55:32 -07:00 |
|
shell
|
fix: file and import names, tests and stage0
|
2019-10-04 17:04:02 -07:00 |
|
stage0
|
feat: add Level.isEquiv
|
2019-10-21 10:56:59 -07:00 |
|
tests/util
|
refactor(runtime): C backend
|
2019-08-24 07:40:38 -07:00 |
|
util
|
chore: fix imports using script
|
2019-10-04 14:34:58 -07:00 |
