2 commits

Author	SHA1	Message	Date
Leonardo de Moura	d6000416f8	feat(library/compiler,frontends/lean/elaborator): (try to) preserve position information ... We will use this information in the debugger.	2016-11-09 16:51:48 -08:00
Leonardo de Moura	de9df69ef6	refactor(src): move compiler folder to library	2016-05-09 13:28:00 -07:00

Renamed from src/compiler/comp_irrelevant.cpp (Browse further)