Add is_applicable predicate.
[matthijs/master-project/cλash.git] / CoreTools.hs
2009-06-21 Matthijs KooijmanAdd is_applicable predicate.
2009-06-21 Matthijs KooijmanAdd has_free_tyvars predicate.
2009-06-21 Matthijs KooijmanAdd is_poly and is_var predicates.
2009-06-21 Matthijs KooijmanMake is_fun also work properly for Type CoreExprs.
2009-06-19 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-19 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-19 Christiaan BaaijStarted adding builtin functions
2009-06-18 Matthijs KooijmanAdd is_lam and is_fun predicates.
2009-06-18 Matthijs KooijmanAdd is_wild function to check for wild binders.
2009-04-09 Matthijs KooijmanGeneralize VHDL type creation for SizedWord and FSVec.
2009-04-09 Matthijs KooijmanA word has a width, not a length.
2009-04-09 Matthijs KooijmanMove eval_type_level_int to CoreTools.
2009-04-09 Matthijs KooijmanImport the Types.Data.Num module in eval_tfp_int.
2009-04-09 Matthijs KooijmanAdd a [ModuleName] parameter to toCore.
2009-04-09 Matthijs KooijmanFix compilation of CoreTools.
2009-04-09 Matthijs KooijmanAdd sized_word_len, which gets the length from a SizedW...
2009-04-09 Matthijs KooijmanAdd the new CoreTools module.