This website requires JavaScript.
Explore
Help
Sign In
gebner
/
etc
Watch
1
Star
0
Fork
You've already forked etc
0
Code
Issues
Pull Requests
Projects
Releases
Wiki
Activity
master
etc
/
bin
/
nightly-lake
4 lines
67 B
Bash
Executable File
Raw
Permalink
Blame
History
#!/bin/sh
set
-euo pipefail
exec
lake +
`
latest-lean4-nightly
`
"
$@
"
Reference in New Issue
View Git Blame
Copy Permalink