lean

2017-11-11 08:48:27 +01:00 · 2017-11-11 08:48:27 +01:00 · bc067ed6dc
commit bc067ed6dc
parent 0c3d800809
1 changed files with 1 additions and 0 deletions
--- a/large-sw.nix
+++ b/large-sw.nix
@ -20,6 +20,7 @@

    stack

+    lean
    coq_8_6

    # cargo rustc