Mario Carneiro f369e34bd6 chore(library/standard): remove standard.lean (unused, and confusing given stdlib)		2017-07-28 16:47:53 +01:00
..
frontends/lean	feat(frontends/lean/scanner): accept arbitrary escaped identifiers	2017-06-28 10:43:19 -07:00
kernel	feat(*): parallel compilation	2016-11-29 11:12:40 -08:00
library	feat(library/phash_map): add persistent hash_map based on phashtable	2017-05-05 12:36:13 -07:00
shared	chore(library/standard): remove standard.lean (unused, and confusing given stdlib)	2017-07-28 16:47:53 +01:00
shell	chore(*): fix tests	2017-03-23 09:03:43 +01:00
util	feat(util/numerics/mpz): add mpz(uint64) constructor	2017-06-02 16:36:40 -07:00