log src/list_util.sig

age author description
2009-06-16 Adam Chlipala Fix a bug in type class enrichment from substructures
2009-06-13 Adam Chlipala <dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls
2009-06-06 Adam Chlipala List library additions; fix another substructure unification bug
2009-05-12 Adam Chlipala Improvements while working on Graftid
2008-09-09 Adam Chlipala Termination checking
2008-09-02 Adam Chlipala Validating schema of a live database
2008-08-08 Adam Chlipala Parametrized datatypes through explify
2008-07-14 Adam Chlipala Passing an argument to a web function
2008-07-13 Adam Chlipala Starting with closure links
2008-06-19 Adam Chlipala Corify removes modules
2008-06-17 Adam Chlipala Elaborating module projection
2008-06-12 Adam Chlipala Simple signature matching
2008-06-10 Adam Chlipala Closure conversion
2008-06-08 Adam Chlipala Tree-shaking
2008-01-26 Adam Chlipala Check for leftover kind unifs
2008-01-26 Adam Chlipala Elaborating files