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 (
Collapse
)
Author
Age
*
Dummy message delivery to clients
Adam Chlipala
2009-03-19
|
*
Noisy demo
Adam Chlipala
2009-03-10
|
*
ListEdit demo, minus prose
Adam Chlipala
2009-03-10
|
*
Avoid any JavaScript when pages don't need it; update demo prose
Adam Chlipala
2009-03-10
|
*
demo/hello compiles with kind polymorphism
Adam Chlipala
2009-02-22
|
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ↵
Adam Chlipala
2009-02-22
|
|
|
|
updated Basis/Top
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
|
*
Parameterized RPC query
Adam Chlipala
2009-02-15
|
*
First gimpy RPC
Adam Chlipala
2009-02-15
|
*
Export RPC functions and push RPC calls through to Mono
Adam Chlipala
2009-02-15
|
*
Start of RPCification
Adam Chlipala
2009-02-14
|
*
Use normal fields of ctextboxes
Adam Chlipala
2009-01-27
|
*
dlist example working
Adam Chlipala
2009-01-16
|
*
Initial experiments with nested <dyn>
Adam Chlipala
2009-01-13
|
*
Use header to set default script type
Adam Chlipala
2009-01-11
|
*
Hooking a source into an input
Adam Chlipala
2009-01-11
|
*
Injecting an int
Adam Chlipala
2009-01-01
|
*
Harmonized source-setting between server and client
Adam Chlipala
2008-12-30
|
*
Setting a source server-side
Adam Chlipala
2008-12-30
|
*
Starting to implement source set
Adam Chlipala
2008-12-30
|
*
Trivial use of a source
Adam Chlipala
2008-12-21
|
*
Handling singnal bind
Adam Chlipala
2008-12-21
|
*
Switch to using dyn() function in JavaScript
Adam Chlipala
2008-12-21
|
*
Successfully generated a page element from a signal
Adam Chlipala
2008-12-20
|
*
Initial <dyn> support
Adam Chlipala
2008-12-20
|
*
Displayed an alert dialog
Adam Chlipala
2008-12-19
|
*
Creation of sources in server code
Adam Chlipala
2008-12-19
|
*
Monad type class seems to be working
Adam Chlipala
2008-12-19
|
*
Add SQL arithmetic operators
Adam Chlipala
2008-12-09
|
*
Finish documenting queries; remove a stray [unit] argument
Adam Chlipala
2008-12-07
|
*
Add CutMulti
Adam Chlipala
2008-11-11
|
*
More ThreadedBlog progress
Adam Chlipala
2008-11-11
|
*
Tree demo working (and other assorted regressions fixed)
Adam Chlipala
2008-11-06
|
*
Tree demo works
Adam Chlipala
2008-11-06
|
*
Ensql'ing nullables
Adam Chlipala
2008-11-06
|
*
Inserted a NULL value
Adam Chlipala
2008-11-06
|
*
Cookies work across pages
Adam Chlipala
2008-11-06
|
*
Cookie prose; fix bugs that broke demo compilation
Adam Chlipala
2008-11-06
|
*
Reading cookies works
Adam Chlipala
2008-11-06
|
*
Setting a cookie
Adam Chlipala
2008-11-06
|
*
Fix some type-class detection
Adam Chlipala
2008-11-01
|
*
Wrapping works in Blog
Adam Chlipala
2008-11-01
|
*
Replace 'with' with '++'
Adam Chlipala
2008-10-31
|
*
CURRENT_TIMESTAMP
Adam Chlipala
2008-10-30
|
*
Marshaling time to SQL
Adam Chlipala
2008-10-30
|
*
Add time to some type classes
Adam Chlipala
2008-10-30
|
*
time type
Adam Chlipala
2008-10-30
|
*
Crud2 demo
Adam Chlipala
2008-10-23
|
*
Fix nasty de Bruijn substitution bug; TcSum demo
Adam Chlipala
2008-10-23
|
*
Sql demo
Adam Chlipala
2008-10-21
|
[next]