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
/
source_print.sml
Commit message (
Expand
)
Author
Age
*
Switch to TDisjoint from CDisjoint; still need to implement obligation genera...
Adam Chlipala
2009-02-24
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ...
Adam Chlipala
2009-02-22
*
"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 CutMulti
Adam Chlipala
2008-11-11
*
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
*
New implicit argument handling
Adam Chlipala
2008-10-21
*
Merge CDisjoint and TDisjoint
Adam Chlipala
2008-10-04
*
Crud supports INSERT
Adam Chlipala
2008-09-14
*
SQL sequences
Adam Chlipala
2008-09-14
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
*
Laconic -> Ur
Adam Chlipala
2008-08-31
*
Queries back to working as well as before, after start of refactoring to supp...
Adam Chlipala
2008-08-21
*
SQL comparison operators
Adam Chlipala
2008-08-16
*
Initial type class support
Adam Chlipala
2008-08-16
*
Inferring sql_type's
Adam Chlipala
2008-08-16
*
Non-star SELECT
Adam Chlipala
2008-08-14
*
Parsing and elaborating 'table'
Adam Chlipala
2008-08-14
*
Parametrized datatypes through explify
Adam Chlipala
2008-08-08
*
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
*
Start of datatype support
Adam Chlipala
2008-07-24
*
Record cut
Adam Chlipala
2008-07-24
*
Parsing and elaborating (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
*
Remove closure conversion in favor of zany fun with modules, which also repla...
Adam Chlipala
2008-07-13
*
page declaration, up through monoize
Adam Chlipala
2008-07-10
*
Constraints in modules
Adam Chlipala
2008-07-01
*
Disjointness assumptions in expressions
Adam Chlipala
2008-07-01
*
Disjointness assumptions
Adam Chlipala
2008-07-01
*
Initial disjointness prover
Adam Chlipala
2008-07-01
*
Elaborate efold
Adam Chlipala
2008-06-26
*
Elaborating cfold
Adam Chlipala
2008-06-26
*
open
Adam Chlipala
2008-06-22
*
Subsignatures
Adam Chlipala
2008-06-22
*
include
Adam Chlipala
2008-06-22
*
Start of FFI
Adam Chlipala
2008-06-22
*
Elaborating functor applications
Adam Chlipala
2008-06-19
*
Elaborating 'where'
Adam Chlipala
2008-06-19
*
Functor parsing
Adam Chlipala
2008-06-19
*
Elaborating module projection
Adam Chlipala
2008-06-17
*
Parsing and printing basic module system
Adam Chlipala
2008-06-12
*
Beta reductions for expressions
Adam Chlipala
2008-06-08
*
Some con reducing
Adam Chlipala
2008-06-08
*
Unification wildcards
Adam Chlipala
2008-06-08
[next]