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
/
demo
Commit message (
Collapse
)
Author
Age
*
Avoid any JavaScript when pages don't need it; update demo prose
Adam Chlipala
2009-03-10
|
*
Kind-polymorphic [fst] and friends
Adam Chlipala
2009-02-26
|
*
Folder generation for functors
Adam Chlipala
2009-02-24
|
*
Folder generation for functions
Adam Chlipala
2009-02-24
|
*
Demos compile again, with manual folders
Adam Chlipala
2009-02-24
|
*
Make folders abstract
Adam Chlipala
2009-02-24
|
*
demo/sum working with manual folders
Adam Chlipala
2009-02-22
|
*
Debug reverse-engineering unification
Adam Chlipala
2009-02-21
|
*
Start of RPCification
Adam Chlipala
2009-02-14
|
*
Fixing demo prose
Adam Chlipala
2008-11-20
|
*
Some demo improvements
Adam Chlipala
2008-11-20
|
*
Update Crud demo to use local functions
Adam Chlipala
2008-11-20
|
*
Extend prose about server .exes
Adam Chlipala
2008-11-18
|
*
Tree demo working (and other assorted regressions fixed)
Adam Chlipala
2008-11-06
|
*
Tree demo works
Adam Chlipala
2008-11-06
|
*
About to begin optimization of recursive transaction functions
Adam Chlipala
2008-11-06
|
*
Cookie prose; fix bugs that broke demo compilation
Adam Chlipala
2008-11-06
|
*
Cookie demo code; fix error message display
Adam Chlipala
2008-11-06
|
*
Nested demo
Adam Chlipala
2008-11-04
|
*
Remove need for '() <-' notation
Adam Chlipala
2008-10-27
|
*
Properly freeing libpq results on errors
Adam Chlipala
2008-10-24
|
*
Crud2 demo
Adam Chlipala
2008-10-23
|
*
Crud demo
Adam Chlipala
2008-10-23
|
*
Prose for Ref and Metaform
Adam Chlipala
2008-10-23
|
*
Fix bug with bringing functor argument instances into scope; Ref demo, minus ↵
Adam Chlipala
2008-10-23
|
|
|
|
prose
*
Metaform demos, minus prose
Adam Chlipala
2008-10-23
|
*
Fix nasty de Bruijn substitution bug; TcSum demo
Adam Chlipala
2008-10-23
|
*
Counter demo
Adam Chlipala
2008-10-23
|
*
Sum prose
Adam Chlipala
2008-10-21
|
*
Infering sum rows
Adam Chlipala
2008-10-21
|
*
Sum demo, minus inference of {Unit}s
Adam Chlipala
2008-10-21
|
*
Sql demo
Adam Chlipala
2008-10-21
|
*
Note about demo.sql
Adam Chlipala
2008-10-21
|
*
ListShop prose
Adam Chlipala
2008-10-21
|
*
Rec demo
Adam Chlipala
2008-10-21
|
*
Form example
Adam Chlipala
2008-10-21
|
*
Hello prose
Adam Chlipala
2008-10-21
|
*
Intro prose
Adam Chlipala
2008-10-21
|
*
New implicit argument handling
Adam Chlipala
2008-10-21
|
*
Fix a nasty driver bug, involving memory restarts and marked-up request strings
Adam Chlipala
2008-10-21
|
*
listFun uses length
Adam Chlipala
2008-10-21
|
*
Simple listShop working
Adam Chlipala
2008-10-21
|
*
ListShop skeleton
Adam Chlipala
2008-10-21
|
*
Fix a nasty indent bug, found while working on listFun
Adam Chlipala
2008-10-19
|
*
Demo HTML generation, minus source code
Adam Chlipala
2008-10-19
|
*
Link demo
Adam Chlipala
2008-10-19
|
*
Proper configuration and installation
Adam Chlipala
2008-10-19