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
/
monoize.sml
Commit message (
Expand
)
Author
Age
*
Corify tables
Adam Chlipala
2008-08-31
*
Corifying con-tuples
Adam Chlipala
2008-08-16
*
Urlifying records
Adam Chlipala
2008-08-09
*
'Option' datatype encoding
Adam Chlipala
2008-08-09
*
Lists all the way through
Adam Chlipala
2008-08-09
*
Specialization of single-parameter datatypes
Adam Chlipala
2008-08-08
*
Parametrized datatypes through corify
Adam Chlipala
2008-08-08
*
Checkboxes
Adam Chlipala
2008-08-07
*
Datatype representation optimization
Adam Chlipala
2008-08-03
*
bool in Basis
Adam Chlipala
2008-08-03
*
FFI datatypes
Adam Chlipala
2008-08-03
*
Optimizing 'case' in Mono_reduce
Adam Chlipala
2008-08-03
*
Compiled pattern matching to C
Adam Chlipala
2008-08-03
*
Cases through monoize
Adam Chlipala
2008-08-03
*
First part of getting cases through monoize
Adam Chlipala
2008-08-03
*
Case through corify
Adam Chlipala
2008-08-02
*
Storing datatype constructors in type references past monoize
Adam Chlipala
2008-07-29
*
Unurlifying a datatype; longjmp-based error signaling mechanism
Adam Chlipala
2008-07-29
*
Datatypes through monoize
Adam Chlipala
2008-07-29
*
Datatypes through corify
Adam Chlipala
2008-07-29
*
Password inputs
Adam Chlipala
2008-07-24
*
HTML select
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
*
gform in proper order
Adam Chlipala
2008-07-22
*
Simple forms work
Adam Chlipala
2008-07-22
*
Almost ready to have a form work
Adam Chlipala
2008-07-20
*
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
*
Proper escaping of cdata
Adam Chlipala
2008-07-17
*
Monoizing (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
*
Corifying (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
*
Multiple arguments to web functions
Adam Chlipala
2008-07-13
*
Passing an argument to a web function
Adam Chlipala
2008-07-13
*
Serving pages with links
Adam Chlipala
2008-07-13
*
Cjr ready for dispatch code generation
Adam Chlipala
2008-07-13
*
Closure code generation almost there
Adam Chlipala
2008-07-13
*
Starting with closure links
Adam Chlipala
2008-07-13
*
Remove closure conversion in favor of zany fun with modules, which also repla...
Adam Chlipala
2008-07-13
*
More with attributes and efficient serialization
Adam Chlipala
2008-07-10
*
Stringifying attributes
Adam Chlipala
2008-07-10
*
Initial HTML attributes support
Adam Chlipala
2008-07-10
*
Writing HTML
Adam Chlipala
2008-07-10
*
page declaration, up through monoize
Adam Chlipala
2008-07-10
*
Monoizing joins and tags
Adam Chlipala
2008-07-03
*
Monoizing cdata
Adam Chlipala
2008-07-03
*
Push KUnit and CUnit through the phases
Adam Chlipala
2008-07-01
*
Corify efold
Adam Chlipala
2008-06-26
[next]