lambdacube-compiler.git -

Age	Commit message (Expand)	Author
2016-02-02	eliminate MT	Péter Diviánszky
2016-02-02	compare constructors by tag	Péter Diviánszky
2016-02-02	use Set	Péter Diviánszky
2016-02-02	remove 'try's from lexer	Péter Diviánszky
2016-02-02	smaller try scope	Péter Diviánszky
2016-02-01	add passing wip tests	Péter Diviánszky
2016-02-01	use less try	Péter Diviánszky
2016-02-01	bugfix	Péter Diviánszky
2016-02-01	faster section parsing	Péter Diviánszky
2016-02-01	less Fun call	Péter Diviánszky
2016-02-01	TyCaseFun has a neutral parameter	Péter Diviánszky
2016-02-01	erease CaseFun's type parameters	Péter Diviánszky
2016-02-01	fix bug; CaseFun's last argument is neutral	Péter Diviánszky
2016-02-01	better upDB	Péter Diviánszky
2016-02-01	less maxDB call	Péter Diviánszky
2016-02-01	tweak subst	Péter Diviánszky
2016-02-01	annotate more closed expression	Péter Diviánszky
2016-02-01	erease lambda argument type and constructor type parameters	Péter Diviánszky
2016-01-30	LambdaCube.Compiler.Driver --> LambdaCube.Compiler	Péter Diviánszky
2016-01-30	refactoring	Péter Diviánszky
2016-01-29	more TypeExp usage	Péter Diviánszky
2016-01-29	eliminate all expType in inferN	Péter Diviánszky
2016-01-29	intial version of backend test server	Csaba Hruska
2016-01-29	fix let expression type	Péter Diviánszky
2016-01-29	try to remove more expType calls	Péter Diviánszky
2016-01-29	hide CoreToIR's expression representation	Péter Diviánszky
2016-01-29	remove more expType calls	Péter Diviánszky
2016-01-29	remove some expType calls	Péter Diviánszky
2016-01-29	refactoring	Péter Diviánszky
2016-01-29	refactoring	Péter Diviánszky
2016-01-29	optimization	Péter Diviánszky
2016-01-29	Set quickcheck parameters in tasty tests and add MaxDB monoid tests.	Andor Penzes
2016-01-28	move Meta and Assign into a separate type	Péter Diviánszky
2016-01-28	refactor focus	Péter Diviánszky
2016-01-28	refactoring	Péter Diviánszky
2016-01-28	reordering & eliminate some Meta usage	Péter Diviánszky
2016-01-27	Use haskellDef in languageDef definition.	Andor Penzes
2016-01-27	rm Token.hs	Péter Diviánszky
2016-01-27	Token.hs --> Lexer.hs	Péter Diviánszky
2016-01-27	use Void instead of ()	Péter Diviánszky
2016-01-27	split Infer.hs	Péter Diviánszky
2016-01-27	reorder definitions	Péter Diviánszky
2016-01-27	reorder definitions	Péter Diviánszky
2016-01-27	make STyped constructor polymorph	Péter Diviánszky
2016-01-27	first try to move wired-in constraint reductions into the library	Péter Diviánszky
2016-01-27	less wired-in reductions in the compiler	Péter Diviánszky
2016-01-27	refactoring: use less STyped	Péter Diviánszky
2016-01-26	eliminate holes	Péter Diviánszky
2016-01-26	show tooltips in type namespace	Péter Diviánszky
2016-01-26	reorder definitions in Infer.hs	Péter Diviánszky