Leonardo de Moura 49a0d13c50 feat(library/init/coe): add coercion from A to (option A) ... A little hack is used to make sure type class resolution will not enter in an infinite loop.		2017-01-31 17:45:41 -08:00
..
lean	feat(library/init/coe): add coercion from A to (option A)	2017-01-31 17:45:41 -08:00
.gitignore	refactor(gitignore): remove old ignore entries	2016-12-10 08:42:39 -08:00