|
bench
|
chore: remove command universes
|
2021-06-29 17:01:07 -07:00 |
|
compiler
|
chore: remove command universes
|
2021-06-29 17:01:07 -07:00 |
|
elabissues
|
chore: move pp_options.cpp to Lean
|
2021-01-27 14:16:12 +01:00 |
|
lean
|
feat: add dot hover test
|
2021-07-19 09:55:37 +02:00 |
|
leanpkg
|
fix: leanpkg: actually detect import cycles
|
2021-06-12 10:09:55 +02:00 |
|
playground
|
chore: update webserver demo
|
2021-07-15 21:57:55 +02:00 |
|
plugin
|
chore: fix test
|
2021-01-27 15:04:59 +01:00 |
|
simpperf
|
feat: add simp benchmark
|
2020-12-31 15:46:56 -08:00 |
