Leonardo de Moura
|
de4d3152f1
|
chore: use CamelCase to name files and directories
|
2019-10-04 14:23:08 -07:00 |
|
Leonardo de Moura
|
e596089a2d
|
chore: one module per import command
|
2019-10-04 12:27:47 -07:00 |
|
Daniel Selsam
|
59ff6ff850
|
chore(lean/typeclass): standardize indents
|
2019-10-03 17:23:53 -07:00 |
|
Daniel Selsam
|
8b461ccdaa
|
fix(library/init/data/queue): need not be inhabited
|
2019-10-03 17:23:53 -07:00 |
|
Daniel Selsam
|
a82266c652
|
feat(library/init/lean/typeclass): #synth with tabled resolution
|
2019-10-03 17:23:53 -07:00 |
|