lambdacube-compiler.git -

Age	Commit message (Expand)	Author
2016-04-28	switch to ansi-wl-pprint	Péter Diviánszky
2016-04-28	generate less variable names	Péter Diviánszky
2016-04-25	emit warnings on unreachable right hand sides	Péter Diviánszky
2016-02-19	tuples are heterogeneous lists	Péter Diviánszky
2016-02-15	put trace info in .out files	Péter Diviánszky
2016-02-13	use different kinf of infos	Péter Diviánszky
2016-02-03	polymorphic Int literals	Péter Diviánszky
2016-02-03	more uniform handling of literals	Péter Diviánszky
2016-01-26	show tooltips in type namespace	Péter Diviánszky
2016-01-23	cleanup	Péter Diviánszky
2016-01-22	support more pattern literals	Péter Diviánszky