git.stderr.nl Git - matthijs/master-project/cλash.git/history

2009-06-19	Christiaan Baaij	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	blob \| commitdiff \| raw
2009-06-19	Christiaan Baaij	Started adding builtin functions	blob \| commitdiff \| raw \| diff to current
2009-06-18	Matthijs Kooijman	Add is_lam and is_fun predicates.	blob \| commitdiff \| raw \| diff to current
2009-06-18	Matthijs Kooijman	Add is_wild function to check for wild binders.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Generalize VHDL type creation for SizedWord and FSVec.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	A word has a width, not a length.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Move eval_type_level_int to CoreTools.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Import the Types.Data.Num module in eval_tfp_int.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Add a [ModuleName] parameter to toCore.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Fix compilation of CoreTools.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Add sized_word_len, which gets the length from a SizedW...	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Add the new CoreTools module.	blob \| commitdiff \| raw \| diff to current

The Cλash compiler