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
/
urweb.grm
Commit message (
Collapse
)
Author
Age
*
Type class reductions, but no inclusions yet
Adam Chlipala
2009-03-26
|
*
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 ↵
Adam Chlipala
2009-02-24
|
|
|
|
generation at EDisjoint uses
*
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
|
*
Initial conversion to arbitrary-kind classes
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
|
*
Some small changes while failing to write [restrict]
Adam Chlipala
2008-11-08
|
*
Resolve all tag named in [Basis]; deal with C compilation failure without ↵
Adam Chlipala
2008-11-08
|
|
|
|
leaving /tmp files
*
Tree demo working (and other assorted regressions fixed)
Adam Chlipala
2008-11-06
|
*
Tree demo works
Adam Chlipala
2008-11-06
|
*
Inserted a NULL value
Adam Chlipala
2008-11-06
|
*
Cookies through explify
Adam Chlipala
2008-11-06
|
*
Cookies through elaborate
Adam Chlipala
2008-11-06
|
*
Parsing 'let'
Adam Chlipala
2008-11-01
|
*
Replace 'with' with '++'
Adam Chlipala
2008-10-31
|
*
CURRENT_TIMESTAMP
Adam Chlipala
2008-10-30
|
*
Remove need for '() <-' notation
Adam Chlipala
2008-10-27
|
*
New implicit argument handling
Adam Chlipala
2008-10-21
|
*
lt, le working for int
Adam Chlipala
2008-10-21
|
*
num working for int
Adam Chlipala
2008-10-21
|
*
lform -> form
Adam Chlipala
2008-10-14
|
*
Syntax highlighting for embedded XML
Adam Chlipala
2008-10-14
|
*
Basis and Top syntax-highlight, indent, parse, and type-check
Adam Chlipala
2008-10-12
|
*
Basis indents and type-checks with new twiddle syntax
Adam Chlipala
2008-10-12
|
*
Merge CDisjoint and TDisjoint
Adam Chlipala
2008-10-04
|
*
Crud completed
Adam Chlipala
2008-09-14
|
*
Crud update form
Adam Chlipala
2008-09-14
|
*
Crud supports INSERT
Adam Chlipala
2008-09-14
|
*
SQL sequences
Adam Chlipala
2008-09-14
|
*
foldTR2
Adam Chlipala
2008-09-13
|
*
Crud listing IDs
Adam Chlipala
2008-09-11
|
*
Automatically add table annotations in UPDATE and DELETE
Adam Chlipala
2008-09-07
|
*
Scratch that change....
Adam Chlipala
2008-09-07
|
*
Remove need to mention table name in expressions for UPDATE and DELETE
Adam Chlipala
2008-09-07
|
*
Parsing DELETE
Adam Chlipala
2008-09-07
|
*
Parsing UPDATE
Adam Chlipala
2008-09-07
|
*
Parsing INSERT
Adam Chlipala
2008-09-07
|
*
Elaborated 'update'
Adam Chlipala
2008-09-07
|
*
Elaborated 'insert'
Adam Chlipala
2008-09-07
|
*
Monoize ASC/DESC
Adam Chlipala
2008-08-31
|
*
Add 'ne' to 'eq' type class
Adam Chlipala
2008-08-31
|
*
'eq' type class
Adam Chlipala
2008-08-31
|
*
Laconic -> Ur
Adam Chlipala
2008-08-31