index
:
urweb
master
functional programming language for web programming
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
...
*
Spell-check manual
Adam Chlipala
2009-03-12
|
*
Update CHANGELOG
Adam Chlipala
2009-03-12
|
*
Add guard elim rule
Adam Chlipala
2009-03-12
|
*
Update compiler phases
Adam Chlipala
2009-03-12
|
*
Describe AJAX RPC structure
Adam Chlipala
2009-03-12
|
*
Functional-reactive subsection
Adam Chlipala
2009-03-12
|
*
Update old Ur/Web library section, before adding new stuff
Adam Chlipala
2009-03-12
|
*
Describe folders
Adam Chlipala
2009-03-12
|
*
Revise type inference section
Adam Chlipala
2009-03-12
|
*
Revise manual, through static semantics
Adam Chlipala
2009-03-12
|
*
Revise manual, through end of Syntax
Adam Chlipala
2009-03-12
|
*
Change location/type of [fold] to be more uniform w.r.t. derived folders
Adam Chlipala
2009-03-12
|
*
Revising manual, through main syntax section
Adam Chlipala
2009-03-12
|
*
Noisy demo
Adam Chlipala
2009-03-10
|
*
BatchG demo
Adam Chlipala
2009-03-10
|
*
Batch example
Adam Chlipala
2009-03-10
|
*
Increment demo
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
|
*
Alert 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
|
*
Kind-polymorphic [fst] and friends
Adam Chlipala
2009-02-26
|
*
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
|
*
Make folders abstract
Adam Chlipala
2009-02-24
|
*
Top.Fold.mp
Adam Chlipala
2009-02-24
|
*
Top.Fold.concat elaborates
Adam Chlipala
2009-02-24
|
*
Switch to TDisjoint from CDisjoint; still need to implement obligation ↵
Adam Chlipala
2009-02-24
|
|
|
|
generation at EDisjoint uses
*
demo/sum working with manual folders
Adam Chlipala
2009-02-22
|
*
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
|
|
|
|
updated Basis/Top
*
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
|
[prev]
[next]