GENERATED FILE — do not edit, and do not commit.

Written by lakefile.lean from the Fugue package's version field, which is the one place the compiler's version is set. Rewritten whenever lakefile.lean is elaborated, which is whenever it changes.

@[reducible, inline]

abbrev fugueVersion : String

The compiler's version, as fugue --version reports it.

Equations

• fugueVersion = "0.1.0"