lambdacube-compiler.git -

Age	Commit message (Expand)	Author
2016-11-30	update test pipeline results	Csaba Hruska
2016-05-13	refactoring & fix build	Péter Diviánszky
2016-05-12	don't show module path	Péter Diviánszky
2016-05-10	explicit lhs marks, first step	Péter Diviánszky
2016-05-06	show typechecked source code in .out files & fix local function handling (again)	Péter Diviánszky
2016-05-05	improve pretty printing & try to fix local function handling	Péter Diviánszky
2016-05-03	refactoring	Péter Diviánszky
2016-05-03	refactoring	Péter Diviánszky
2016-05-03	use less wildcards	Péter Diviánszky
2016-05-03	shorten more lambdas	Péter Diviánszky
2016-05-03	fix pretty print parens	Péter Diviánszky
2016-05-03	refactoring	Péter Diviánszky
2016-05-02	more list syntax in pretty print	Péter Diviánszky
2016-05-02	use [] instead of Nil in pretty print	Péter Diviánszky
2016-05-02	use (:) instead of Cons everywhere	Péter Diviánszky
2016-05-01	removing coloring from .out files	Péter Diviánszky
2016-05-01	improve pretty print layout & show desugared source code in .out files	Péter Diviánszky
2016-05-01	better namespace handling in pretty print	Péter Diviánszky
2016-04-30	fix pretty print syntax	Péter Diviánszky
2016-04-28	switch to Haskell style syntax in pretty print	Péter Diviánszky
2016-04-28	switch to ansi-wl-pprint	Péter Diviánszky
2016-04-28	always show parens	Péter Diviánszky
2016-04-28	better names for free variables	Péter Diviánszky
2016-04-28	generate less variable names	Péter Diviánszky
2016-04-26	refactoring	Péter Diviánszky
2016-04-21	cleanup in pattern match compilation	Péter Diviánszky
2016-04-18	bugfix: show missing types in tooltips	Péter Diviánszky
2016-03-01	update out	Csaba Hruska
2016-02-29	dependency change: pretty-compact --> wl-pprint	Péter Diviánszky
2016-02-26	more accurate pi value	Csaba Hruska
2016-02-22	rename zeroComp --> zero; oneComp --> one	Péter Diviánszky
2016-02-19	tuples are heterogeneous lists	Péter Diviánszky
2016-02-17	work on performance comparison tool	Csaba Hruska