2009-01-13 |
Adam Chlipala |
Initial experiments with nested <dyn> |
2009-01-11 |
Adam Chlipala |
Hooking a source into an input |
2008-12-30 |
Adam Chlipala |
Starting to implement source set |
2008-12-20 |
Adam Chlipala |
Initial <dyn> support |
2008-12-19 |
Adam Chlipala |
Displayed an alert dialog |
2008-12-19 |
Adam Chlipala |
Creation of sources in server code |
2008-12-19 |
Adam Chlipala |
Monad type class seems to be working |
2008-12-09 |
Adam Chlipala |
Add SQL arithmetic operators |
2008-12-07 |
Adam Chlipala |
Finish documenting queries; remove a stray [unit] argument |
2008-11-06 |
Adam Chlipala |
Tree demo works |
2008-11-06 |
Adam Chlipala |
About to begin optimization of recursive transaction functions |
2008-11-06 |
Adam Chlipala |
Inserted a NULL value |
2008-11-06 |
Adam Chlipala |
Cookies through elaborate |
2008-11-06 |
Adam Chlipala |
Monoizing FFI transactions correctly |
2008-11-01 |
Adam Chlipala |
Fix some type-class detection |
2008-10-30 |
Adam Chlipala |
Remove _espec tag; add some tag fields |
2008-10-30 |
Adam Chlipala |
Especialize |
2008-10-30 |
Adam Chlipala |
CURRENT_TIMESTAMP |
2008-10-30 |
Adam Chlipala |
Add time to some type classes |
2008-10-30 |
Adam Chlipala |
time type |
2008-10-23 |
Adam Chlipala |
Crud2 demo |
2008-10-23 |
Adam Chlipala |
Fix nasty de Bruijn substitution bug; TcSum demo |
2008-10-21 |
Adam Chlipala |
Sql demo |
2008-10-21 |
Adam Chlipala |
Rec demo |
2008-10-21 |
Adam Chlipala |
Form example |
2008-10-21 |
Adam Chlipala |
New implicit argument handling |
2008-10-21 |
Adam Chlipala |
ord_float and ord_bool |
2008-10-21 |
Adam Chlipala |
lt, le working for int |
2008-10-21 |
Adam Chlipala |
num_float |
2008-10-21 |
Adam Chlipala |
num working for int |
2008-10-14 |
Adam Chlipala |
lform -> form |
2008-10-12 |
Adam Chlipala |
Basis and Top syntax-highlight, indent, parse, and type-check |
2008-10-12 |
Adam Chlipala |
Basis indents and type-checks with new twiddle syntax |
2008-10-04 |
Adam Chlipala |
Use checkbox in CRUD example |
2008-10-04 |
Adam Chlipala |
Merge CDisjoint and TDisjoint |
2008-09-14 |
Adam Chlipala |
Crud completed |
2008-09-14 |
Adam Chlipala |
Crud update form |
2008-09-14 |
Adam Chlipala |
Crud supports INSERT |
2008-09-14 |
Adam Chlipala |
SQL sequences |
2008-09-13 |
Adam Chlipala |
foldTRX2 |
2008-09-11 |
Adam Chlipala |
Crud list works |
2008-09-11 |
Adam Chlipala |
Crud listing IDs |
2008-09-07 |
Adam Chlipala |
Scratch that change.... |
2008-09-07 |
Adam Chlipala |
Remove need to mention table name in expressions for UPDATE and DELETE |
2008-09-07 |
Adam Chlipala |
Parsing UPDATE |
2008-09-07 |
Adam Chlipala |
Parsing INSERT |
2008-09-07 |
Adam Chlipala |
Elaborated 'update' |
2008-09-07 |
Adam Chlipala |
Elaborated 'insert' |
2008-09-07 |
Adam Chlipala |
Error-parsing ints |
2008-09-07 |
Adam Chlipala |
'read' type class |
2008-09-07 |
Adam Chlipala |
Parsing strings for floats and bools |
2008-09-07 |
Adam Chlipala |
Converting string to int |
2008-09-07 |
Adam Chlipala |
'show' type class; htmlification optimizations |
2008-09-07 |
Adam Chlipala |
toString for float and bool |
2008-09-07 |
Adam Chlipala |
intToString |
2008-09-07 |
Adam Chlipala |
'error' function |
2008-09-02 |
Adam Chlipala |
Compiling a parametrized query the inefficient way |
2008-08-31 |
Adam Chlipala |
Monoize ASC/DESC |
2008-08-31 |
Adam Chlipala |
Monoize relops |
2008-08-31 |
Adam Chlipala |
Add 'ne' to 'eq' type class |
2008-08-31 |
Adam Chlipala |
'eq' type class |
2008-08-31 |
Adam Chlipala |
Monoized a WHERE clause with a comparison |
2008-08-31 |
Adam Chlipala |
Monoized and optimized initial query test |
2008-08-31 |
Adam Chlipala |
Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type |
2008-08-31 |
Adam Chlipala |
Laconic -> Ur
base
lib/basis.lig@4fadbb57b5e0
|