log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/reduce.sml
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
-30
tip
age
author
description
2009-05-16
Adam Chlipala
Mutual datatypes through Effectize
2009-04-28
Adam Chlipala
A view query works
2009-04-12
Adam Chlipala
Stop tracking CSS classes in XML types
2009-04-12
Adam Chlipala
style declarations
2009-04-07
Adam Chlipala
PRIMARY KEY
2009-04-07
Adam Chlipala
Track uniqueness sets in table types
2009-04-07
Adam Chlipala
UNIQUE constraints
2009-02-22
Adam Chlipala
demo/hello compiles with kind polymorphism
2009-02-22
Adam Chlipala
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2009-02-21
Adam Chlipala
"Hello world" compiles, after replacing type-level fold with map
2009-02-15
Adam Chlipala
First gimpy RPC
2009-02-14
Adam Chlipala
Start of RPCification
2008-11-26
Adam Chlipala
crud1 compiles with new Reduce
2008-11-26
Adam Chlipala
Fix environments for repeat visits for exp reduction
2008-11-26
Adam Chlipala
Most exp rules for new Reduce
2008-11-26
Adam Chlipala
Start of new Reduce
2008-11-12
Adam Chlipala
Add CutMulti
2008-10-31
Adam Chlipala
Replace 'with' with '++'
2008-10-30
Adam Chlipala
Especialize
2008-10-23
Adam Chlipala
Fix nasty de Bruijn substitution bug; TcSum demo
2008-09-14
Adam Chlipala
Crud supports INSERT
2008-09-13
Adam Chlipala
Remove unneeded 'rec' in Reduce
2008-09-11
Adam Chlipala
Unpoly non-recursive function
2008-08-16
Adam Chlipala
Compiling a con-tuple-using test case
2008-08-08
Adam Chlipala
Specialization of single-parameter datatypes
2008-07-24
Adam Chlipala
Record cut
2008-07-17
Adam Chlipala
MonoReduce
2008-07-13
Adam Chlipala
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-06-26
Adam Chlipala
Reduce efold
2008-06-26
Adam Chlipala
Cjrize cfold
less
more
|
(0)
-30
tip