lambdacube-compiler.git -

Age	Commit message (Collapse)	Author
2016-02-05	add todo	Csaba Hruska

2016-02-05	add todo	Csaba Hruska

2016-02-04	update todo	Csaba Hruska

2016-02-04	update todo	Csaba Hruska

2016-02-04	add todo	Csaba Hruska

2016-02-04	always include builtins path	Csaba Hruska

2016-02-04	update todo	Csaba Hruska

2016-02-04	update TODOs	Péter Diviánszky

2016-02-04	definitions are allowed in any order (not just bottom-up)	Péter Diviánszky

2016-02-03	more uniform handling of literals	Péter Diviánszky

2016-02-03	new idea in todo	Csaba Hruska

2016-02-03	more precise one line comment	Péter Diviánszky

2016-02-02	reorder TODO items	Péter Diviánszky

2016-02-02	adjust todo	Csaba Hruska

2016-02-02	adjust todo	Csaba Hruska

2016-02-01	update TODOs	Péter Diviánszky

2016-01-29	schedule some tasks	Csaba Hruska

2016-01-28	add todo	Csaba Hruska

2016-01-27	add TODO item	Péter Diviánszky

2016-01-26	add TODO items	Péter Diviánszky

2016-01-25	update TODOs	Péter Diviánszky

2016-01-23	update TODO	Csaba Hruska

2016-01-23	major refactoring	Péter Diviánszky

2016-01-22	update TODOs	Péter Diviánszky

2016-01-22	tried to speed up with cached max. de bruijn indices (no speedup at the moment)	Péter Diviánszky

2016-01-21	add todo	Csaba Hruska

2016-01-20	add todo	Csaba Hruska

2016-01-20	support type synonyms	Péter Diviánszky

2016-01-20	support simple import lists (hiding + explicit)	Péter Diviánszky

2016-01-20	update todo	Csaba Hruska

2016-01-20	add TODO items	Péter Diviánszky

2016-01-19	update TODOs	Péter Diviánszky

2016-01-19	dates	Péter Diviánszky

2016-01-19	cleanup TODOs	Péter Diviánszky

2016-01-19	update TODOs	Péter Diviánszky

2016-01-16	homepage actions	Csaba Hruska

2016-01-15	add blog related info	Csaba Hruska

2016-01-15	add TODO items	Péter Diviánszky

2016-01-15	modify hw example & add TODO item	Péter Diviánszky

2016-01-14	extend todo list	Csaba Hruska

2016-01-13	better priorities	Péter Diviánszky

2016-01-11	add TODO items	Péter Diviánszky

2016-01-11	update TODOs	Péter Diviánszky

2016-01-11	renumber versions, postopne 1.0	Csaba Hruska

2016-01-11	new todo item	Csaba Hruska

2016-01-07	update TODOs	Péter Diviánszky

2016-01-06	timeout for tests	Andor Penzes

2016-01-04	update todo	Csaba Hruska

2016-01-04	update TODO file	Andor Penzes

2016-01-04	update todo	Csaba Hruska