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
Commit message (
Expand
)
Author
Age
...
*
Type class inclusions
Adam Chlipala
2009-03-26
*
Type class reductions, but no inclusions yet
Adam Chlipala
2009-03-26
*
Variable timeouts and client keep-alive
Adam Chlipala
2009-03-24
*
Fix some AJAX annoyances
Adam Chlipala
2009-03-24
*
Transactionalize channel operations
Adam Chlipala
2009-03-24
*
Proper recv
Adam Chlipala
2009-03-22
*
Press a button to send a message
Adam Chlipala
2009-03-22
*
First message send delivered, but not interpreted
Adam Chlipala
2009-03-22
*
Dummy message delivery to clients
Adam Chlipala
2009-03-19
*
Factor out some common buffer functionality
Adam Chlipala
2009-03-19
*
Noisy demo
Adam Chlipala
2009-03-10
*
BatchG demo
Adam Chlipala
2009-03-10
*
Batch example
Adam Chlipala
2009-03-10
*
Prose for ListEdit
Adam Chlipala
2009-03-10
*
ListEdit demo, minus prose
Adam Chlipala
2009-03-10
*
React demo
Adam Chlipala
2009-03-10
*
Avoid any JavaScript when pages don't need it; update demo prose
Adam Chlipala
2009-03-10
*
Conversion of functions to CPS, to facilitate ServerCall
Adam Chlipala
2009-03-08
*
RPC returning an option
Adam Chlipala
2009-03-08
*
RPC returning a default datatype
Adam Chlipala
2009-03-08
*
RPC returning an option datatype
Adam Chlipala
2009-03-08
*
RPC returning an enumeration
Adam Chlipala
2009-03-08
*
Coq README
Adam Chlipala
2009-02-26
*
Coq formalization uses TDisjoint
Adam Chlipala
2009-02-24
*
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
*
Top.Fold.concat elaborates
Adam Chlipala
2009-02-24
*
Switch to TDisjoint from CDisjoint; still need to implement obligation genera...
Adam Chlipala
2009-02-24
*
demo/hello compiles with kind polymorphism
Adam Chlipala
2009-02-22
*
Turned off termination checking, for now
Adam Chlipala
2009-02-22
*
Kind polymorphism through Explify
Adam Chlipala
2009-02-22
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ...
Adam Chlipala
2009-02-22
*
Debug reverse-engineering unification
Adam Chlipala
2009-02-21
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
*
Finish semantics for Featherweight Ur
Adam Chlipala
2009-02-21
*
Time to start thinking about guards
Adam Chlipala
2009-02-21
*
Most of expression semantics
Adam Chlipala
2009-02-21
*
map-only syntax and semantics
Adam Chlipala
2009-02-21
*
Semantics for ordered rows only
Adam Chlipala
2009-02-18
*
Start of Featherweight Ur semantics
Adam Chlipala
2009-02-17
*
Parameterized RPC query
Adam Chlipala
2009-02-15
*
Initial parsing of RPC results
Adam Chlipala
2009-02-15
*
Avoid extra slashes in Cjr urlification
Adam Chlipala
2009-02-15
*
Reading and displaying value via AJAX
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
[prev]
[next]