Gabriel Ebner 7946b15511 feat(frontends/lean/elaborator): recover from most errors using sorry		2017-02-06 15:15:44 +01:00
..
lean	feat(frontends/lean/elaborator): recover from most errors using sorry	2017-02-06 15:15:44 +01:00
smt2	feat(frontends/lean/elaborator): recover from most errors using sorry	2017-02-06 15:15:44 +01:00