lean4-htt/tests
2019-03-22 22:51:21 +01:00
..
compiler chore(library/init): Empty => empty when it is a function 2019-03-21 17:03:15 -07:00
ir chore(tests): port tests, fix at least compiler tests 2019-03-21 15:11:05 -07:00
lean chore(library/init/data/array): naming convention 2019-03-21 18:03:29 -07:00
playground chore(tests/playground/environment_ext): style and minor changes 2019-03-22 22:51:21 +01:00