Leonardo de Moura a02443d23d chore(frontends/lean): fun x, e ==> fun x => e		2019-07-02 13:22:11 -07:00
..
.gitignore
append.lean
append.lean.expected.out
array_test.lean	chore(frontends/lean): fun x, e ==> fun x => e	2019-07-02 13:22:11 -07:00
array_test.lean.expected.out
array_test2.lean	chore(frontends/lean): fun x, e ==> fun x => e	2019-07-02 13:22:11 -07:00
array_test2.lean.expected.out
bytearray_bug.lean
bytearray_bug.lean.expected.out
expr.lean
expr.lean.expected.out
lazylist.lean	chore(frontends/lean): fun x, e ==> fun x => e	2019-07-02 13:22:11 -07:00
lazylist.lean.expected.out
map_big.lean	chore(frontends/lean): fun x, e ==> fun x => e	2019-07-02 13:22:11 -07:00
map_big.lean.expected.out
partial.lean
partial.lean.expected.out
rbmap.lean	chore(frontends/lean): fun x, e ==> fun x => e	2019-07-02 13:22:11 -07:00
rbmap.lean.expected.out
reusebug.lean	chore(tests): fix do syntax in tests	2019-06-30 13:04:34 +02:00
reusebug.lean.expected.out
str.lean	feat(library/init/data/string): add String.isPrefixOf	2019-06-06 14:20:50 -07:00
str.lean.expected.out	feat(library/init/data/string): add String.isPrefixOf	2019-06-06 14:20:50 -07:00
strictAndOr.lean
strictAndOr.lean.expected.out
strictOrSimp.lean
strictOrSimp.lean.expected.out
t1.lean
t1.lean.expected.out
t2.lean	chore(tests): fix do syntax in tests	2019-06-30 13:04:34 +02:00
t2.lean.expected.out
t4.lean	chore(frontends/lean): fun x, e ==> fun x => e	2019-07-02 13:22:11 -07:00
t4.lean.expected.out
test_single.sh
thunk.lean	chore(frontends/lean): fun x, e ==> fun x => e	2019-07-02 13:22:11 -07:00
thunk.lean.expected.out
uint_fold.lean
uint_fold.lean.expected.out