Leonardo de Moura 23935ee390 feat(frontends/lean): allow auto_param notation in structure declarations ... See #1422 TODO: take the auto_param into account in the `{ ... }` notation.		2017-03-08 15:41:30 -08:00
..
lean	feat(frontends/lean): allow auto_param notation in structure declarations	2017-03-08 15:41:30 -08:00
.gitignore