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
/
cjrize.sml
Commit message (
Collapse
)
Author
Age
...
*
First part of getting cases through monoize
Adam Chlipala
2008-08-03
|
*
Storing datatype constructors in type references past monoize
Adam Chlipala
2008-07-29
|
*
Start of unurlify for datatypes
Adam Chlipala
2008-07-29
|
*
Datatypes through cjrize, modulo decoding
Adam Chlipala
2008-07-29
|
*
Datatypes through monoize
Adam Chlipala
2008-07-29
|
*
Simple forms work
Adam Chlipala
2008-07-22
|
*
Compiled (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
*
Tagging (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
|
*
Basic web server
Adam Chlipala
2008-07-13
|
*
Closure code generation almost there
Adam Chlipala
2008-07-13
|
*
Remove closure conversion in favor of zany fun with modules, which also ↵
Adam Chlipala
2008-07-13
|
|
|
|
replaces 'page'
*
More with attributes and efficient serialization
Adam Chlipala
2008-07-10
|
*
Writing HTML
Adam Chlipala
2008-07-10
|
*
First executable generated
Adam Chlipala
2008-07-10
|
*
FFI through cjrize
Adam Chlipala
2008-06-22
|
*
FFI through cloconv
Adam Chlipala
2008-06-22
|
*
Translation to Cjr
Adam Chlipala
2008-06-10
[prev]