Def Alias.foo

Modification history

2023-08-23 04:19

test/Alias.lean

feat: patch for new alias command (#6172)

Deleted Alias.foo View on Github →

2023-08-15 23:11

test/Alias.lean

chore: fix tests after #6528 disabled autoimplicits (#6597) …

Modified Alias.foo View on Github →

2023-04-28 23:45

test/Alias.lean

feat: make alias compile code when possible (#3719)

Added Alias.foo View on Github →