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
/
tests
Commit message (
Expand
)
Author
Age
*
Shorthand for multi-binding con 'fn'
Adam Chlipala
2008-08-28
*
Checking for well-formed 'val rec'
Adam Chlipala
2008-08-28
*
Tested aggregate functions with GROUP BY
Adam Chlipala
2008-08-28
*
More aggregate functions
Adam Chlipala
2008-08-28
*
COUNT
Adam Chlipala
2008-08-28
*
SELECTed expressions in ORDER BY
Adam Chlipala
2008-08-28
*
SELECTing arbitrary expressions
Adam Chlipala
2008-08-28
*
OFFSET
Adam Chlipala
2008-08-21
*
LIMIT
Adam Chlipala
2008-08-21
*
ORDER BY
Adam Chlipala
2008-08-21
*
Relational operators; string literals for SQL
Adam Chlipala
2008-08-21
*
Resolving lingering type class constraints
Adam Chlipala
2008-08-21
*
GROUP BY and HAVING
Adam Chlipala
2008-08-21
*
Basic GROUP BY
Adam Chlipala
2008-08-21
*
Integer and float constants in SQL
Adam Chlipala
2008-08-16
*
Fields in SQL expressions
Adam Chlipala
2008-08-16
*
SQL boolean operators
Adam Chlipala
2008-08-16
*
SQL comparison 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
*
Compiling a con-tuple-using test case
Adam Chlipala
2008-08-16
*
Testing type-class-parameterized functions
Adam Chlipala
2008-08-16
*
Initial type class support
Adam Chlipala
2008-08-16
*
Inferring sql_type's
Adam Chlipala
2008-08-16
*
Stub WHERE support
Adam Chlipala
2008-08-16
*
Non-star SELECT
Adam Chlipala
2008-08-14
*
Elaborating 'SELECT *' queries
Adam Chlipala
2008-08-14
*
Parsing the simplest SQL query
Adam Chlipala
2008-08-14
*
Parsing and elaborating 'table'
Adam Chlipala
2008-08-14
*
Urlifying records
Adam Chlipala
2008-08-09
*
'Option' datatype encoding
Adam Chlipala
2008-08-09
*
Lists all the way through
Adam Chlipala
2008-08-09
*
Tuples syntactic sugar
Adam Chlipala
2008-08-09
*
A multi-parameter datatype all the way through
Adam Chlipala
2008-08-09
*
Specialization of single-parameter datatypes
Adam Chlipala
2008-08-08
*
Parametrized datatypes through explify
Adam Chlipala
2008-08-08
*
Checkboxes
Adam Chlipala
2008-08-07
*
bool in Basis
Adam Chlipala
2008-08-03
*
FFI datatypes
Adam Chlipala
2008-08-03
*
Optimizing 'case' in Mono_reduce
Adam Chlipala
2008-08-03
*
Case through corify
Adam Chlipala
2008-08-02
*
Elaborating record patterns
Adam Chlipala
2008-07-31
*
Elaborating module constructor patterns; parsing record patterns
Adam Chlipala
2008-07-31
*
Patterns for int and string constants
Adam Chlipala
2008-07-31
*
Elaborating some basic pattern matching
Adam Chlipala
2008-07-31
*
Parsing basic patterns
Adam Chlipala
2008-07-29
*
Datatypes through corify
Adam Chlipala
2008-07-29
*
Datatype import signature-matches abstract datatype
Adam Chlipala
2008-07-24
*
Abstracting datatypes with signature ascription
Adam Chlipala
2008-07-24
*
More datatype module stuff
Adam Chlipala
2008-07-24
[next]