index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
elaborate.sml
Commit message (
Collapse
)
Author
Age
*
A multi-parameter datatype all the way through
Adam Chlipala
2008-08-09
|
*
Parametrized datatypes through explify
Adam Chlipala
2008-08-08
|
*
Datatype representation optimization
Adam Chlipala
2008-08-03
|
*
Compiled pattern matching to C
Adam Chlipala
2008-08-03
|
*
Case through explify
Adam Chlipala
2008-07-31
|
*
Elaborating record patterns
Adam Chlipala
2008-07-31
|
*
Elaborating module constructor patterns; parsing record patterns
Adam Chlipala
2008-07-31
|
*
Patterns for int and string constants
Adam Chlipala
2008-07-31
|
*
Pattern match coverage checking
Adam Chlipala
2008-07-31
|
*
Elaborating some basic pattern matching
Adam Chlipala
2008-07-31
|
*
Parsing basic patterns
Adam Chlipala
2008-07-29
|
*
Add datatype import constructor annotations; datatypes through explify
Adam Chlipala
2008-07-29
|
*
Normalize datatype choice during SgiDatatypeImp elaboration
Adam Chlipala
2008-07-24
|
*
Datatype import signature-matches abstract datatype
Adam Chlipala
2008-07-24
|
*
Abstracting datatypes with signature ascription
Adam Chlipala
2008-07-24
|
*
More datatype module stuff
Adam Chlipala
2008-07-24
|
*
Basic datatype importing works
Adam Chlipala
2008-07-24
|
*
Start of datatype support
Adam Chlipala
2008-07-24
|
*
radio and radioOption
Adam Chlipala
2008-07-24
|
*
textarea
Adam Chlipala
2008-07-24
|
*
Record cut
Adam Chlipala
2008-07-24
|
*
Meta-programming forms
Adam Chlipala
2008-07-22
|
*
Fix opening and corifying of functors
Adam Chlipala
2008-07-22
|
*
Initial form support
Adam Chlipala
2008-07-20
|
*
A simpler context encoding
Adam Chlipala
2008-07-20
|
*
Form binding parameters threaded through
Adam Chlipala
2008-07-20
|
*
Parsing and elaborating (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
*
Starting with closure links
Adam Chlipala
2008-07-13
|
*
Remove closure conversion in favor of zany fun with modules, which also ↵
Adam Chlipala
2008-07-13
|
|
|
|
replaces 'page'
*
page declaration, up through monoize
Adam Chlipala
2008-07-10
|
*
More fun with HTML
Adam Chlipala
2008-07-03
|
*
XML tags with contents
Adam Chlipala
2008-07-03
|
*
Basic XML stuff
Adam Chlipala
2008-07-03
|
*
Fancier head normalization pushed inside of Disjoint
Adam Chlipala
2008-07-03
|
*
Constraints in modules
Adam Chlipala
2008-07-01
|
*
More with disjointness assumptions
Adam Chlipala
2008-07-01
|
*
Disjointness assumptions in expressions
Adam Chlipala
2008-07-01
|
*
Disjointness assumptions
Adam Chlipala
2008-07-01
|
*
Threading disjointness conditions through Elaborate
Adam Chlipala
2008-07-01
|
*
Initial disjointness prover
Adam Chlipala
2008-07-01
|
*
Factor some operations into ElabOps
Adam Chlipala
2008-07-01
|
*
A little more conservative unification
Adam Chlipala
2008-06-29
|
*
More hardcore unification
Adam Chlipala
2008-06-29
|
*
Implicit structure members
Adam Chlipala
2008-06-29
|
*
Broaden unification context
Adam Chlipala
2008-06-29
|
*
Folding through a functor
Adam Chlipala
2008-06-26
|
*
Reduce efold
Adam Chlipala
2008-06-26
|
*
Elaborate efold
Adam Chlipala
2008-06-26
|
*
Elaborating cfold
Adam Chlipala
2008-06-26
|
*
Proper subsignaturing for sub-structures
Adam Chlipala
2008-06-26
|
[next]