2 commits

Author	SHA1	Message	Date
Leonardo de Moura	568bd1c269	fix(library/init/lean/compiler/ir/borrow): do not perform borrow inference for @[export] declarations	2019-05-22 11:44:34 -07:00
Leonardo de Moura	a8f8df1475	chore(library/init/lean/compiler): add export.lean	2019-05-22 11:27:25 -07:00