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
/
expl_print.sml
Commit message (
Expand
)
Author
Age
*
Merge PVar and PWild, to get more reasonable type-class resolution
Adam Chlipala
2016-02-07
*
New lessSafeFfi
Adam Chlipala
2014-05-02
*
Allow [where con] to descend within submodule structure; open submodule const...
Adam Chlipala
2013-08-19
*
Server-side 'onError'
Adam Chlipala
2010-09-07
*
Catch a missed ReduceLocal of field projection annotations
Adam Chlipala
2010-06-13
*
Some serious bug-fix work to get HTML example to compile; this includes fixin...
Adam Chlipala
2010-06-03
*
Pushing policies through
Adam Chlipala
2010-04-04
*
Convert to task syntax
Adam Chlipala
2009-12-15
*
Initializers and setval
Adam Chlipala
2009-12-13
*
Mutual datatypes through Corify
Adam Chlipala
2009-05-16
*
Fix a nasty binding bug in CoreUtil
Adam Chlipala
2009-05-14
*
A view query works
Adam Chlipala
2009-04-28
*
Stop tracking CSS classes in XML types
Adam Chlipala
2009-04-12
*
style declarations
Adam Chlipala
2009-04-12
*
PRIMARY KEY
Adam Chlipala
2009-04-07
*
Track uniqueness sets in table types
Adam Chlipala
2009-04-07
*
UNIQUE constraints
Adam Chlipala
2009-04-07
*
Kind polymorphism through Explify
Adam Chlipala
2009-02-22
*
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
*
Add CutMulti
Adam Chlipala
2008-11-11
*
Especialize handles records better
Adam Chlipala
2008-11-08
*
Cookies through explify
Adam Chlipala
2008-11-06
*
Almost have that nested save function compiling
Adam Chlipala
2008-11-01
*
Explify 'let'
Adam Chlipala
2008-11-01
*
Replace 'with' with '++'
Adam Chlipala
2008-10-31
*
Crud supports INSERT
Adam Chlipala
2008-09-14
*
SQL sequences
Adam Chlipala
2008-09-14
*
Converting string to int
Adam Chlipala
2008-09-07
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
*
Explify tables
Adam Chlipala
2008-08-31
*
Laconic -> Ur
Adam Chlipala
2008-08-31
*
Explifying type classes
Adam Chlipala
2008-08-16
*
Specialization of single-parameter datatypes
Adam Chlipala
2008-08-08
*
Parametrized datatypes through explify
Adam Chlipala
2008-08-08
*
Datatype representation optimization
Adam Chlipala
2008-08-03
*
Compiled pattern matching to C
Adam Chlipala
2008-08-03
*
Case through explify
Adam Chlipala
2008-07-31
*
Datatypes through corify
Adam Chlipala
2008-07-29
*
Add datatype import constructor annotations; datatypes through explify
Adam Chlipala
2008-07-29
*
Record cut
Adam Chlipala
2008-07-24
*
Fix opening and corifying of functors
Adam Chlipala
2008-07-22
*
Explifying (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
*
Push KUnit and CUnit through the phases
Adam Chlipala
2008-07-01
*
Explify efold
Adam Chlipala
2008-06-26
*
Explify cfold
Adam Chlipala
2008-06-26
*
Proper hiding of shadowed bindings in principal signatures
Adam Chlipala
2008-06-26
*
Start of FFI
Adam Chlipala
2008-06-22
[next]