Version #
This module contains useful definitions for manipulating versions.
It also defines a v!"<ver>"
syntax for version literals.
A Lean toolchain version.
- release (ver : LeanVer) : ToolchainVer
- nightly (date : Date) : ToolchainVer
- pr (no : Nat) : ToolchainVer
- other (name : String) : ToolchainVer
Instances For
Parse a toolchain from a lean-toolchain
file.
Equations
Instances For
The elan
toolchain file name (i.e., lean-toolchain
).
Equations
Instances For
@[inline]
Parse a toolchain from the lean-toolchain
file of the directory dir
.