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
/
elaborate.sml
Commit message (
Expand
)
Author
Age
...
*
Monad type class seems to be working
Adam Chlipala
2008-12-19
*
Initial conversion to arbitrary-kind classes
Adam Chlipala
2008-12-19
*
Remove some isUnitCon cases
Adam Chlipala
2008-11-27
*
Remove unnecessary lifts in ElabEnv.pushCRel
Adam Chlipala
2008-11-27
*
Remove unnecessary [kindof] calls
Adam Chlipala
2008-11-27
*
Add CutMulti
Adam Chlipala
2008-11-11
*
Especialize handles records better
Adam Chlipala
2008-11-08
*
Some small changes while failing to write [restrict]
Adam Chlipala
2008-11-08
*
Tree demo working (and other assorted regressions fixed)
Adam Chlipala
2008-11-06
*
About to begin optimization of recursive transaction functions
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
*
Fix some type-class detection
Adam Chlipala
2008-11-01
*
Elaborating 'let'
Adam Chlipala
2008-11-01
*
Replace 'with' with '++'
Adam Chlipala
2008-10-31
*
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
*
New implicit argument handling
Adam Chlipala
2008-10-21
*
Recursive unurlify for Default datatypes
Adam Chlipala
2008-10-21
*
ListShop skeleton
Adam Chlipala
2008-10-21
*
Reusable column handlers for Crud
Adam Chlipala
2008-10-14
*
Expand cases where expression wildcards are allowed
Adam Chlipala
2008-10-04
*
Improved inference of records of tuples
Adam Chlipala
2008-10-04
*
Merge CDisjoint and TDisjoint
Adam Chlipala
2008-10-04
*
Crud update form
Adam Chlipala
2008-09-14
*
Crud supports INSERT
Adam Chlipala
2008-09-14
*
SQL sequences
Adam Chlipala
2008-09-14
*
queryX
Adam Chlipala
2008-09-13
*
foldTR2
Adam Chlipala
2008-09-13
*
Fixed a mind-numbing De Bruijn bug
Adam Chlipala
2008-09-11
*
Fix bug in subsignature check for con synonyms
Adam Chlipala
2008-09-11
*
Crud list works
Adam Chlipala
2008-09-11
*
Crud listing IDs
Adam Chlipala
2008-09-11
*
Datatype positivity check
Adam Chlipala
2008-09-09
*
intToString
Adam Chlipala
2008-09-07
*
Compiling a parametrized query the inefficient way
Adam Chlipala
2008-09-02
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
*
'eq' type class
Adam Chlipala
2008-08-31
*
Monoized GROUP BY
Adam Chlipala
2008-08-31
*
Corify transaction wrappers
Adam Chlipala
2008-08-31
*
Transactions and queries, at source level
Adam Chlipala
2008-08-28
*
Checking for well-formed 'val rec'
Adam Chlipala
2008-08-28
*
SELECTing arbitrary expressions
Adam Chlipala
2008-08-28
*
Resolving lingering type class constraints
Adam Chlipala
2008-08-21
*
Queries back to working as well as before, after start of refactoring to supp...
Adam Chlipala
2008-08-21
*
SQL boolean operators
Adam Chlipala
2008-08-16
*
Signature ascription for type classes
Adam Chlipala
2008-08-16
*
Fun with type classes and modules
Adam Chlipala
2008-08-16
[prev]
[next]