log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/elab_ops.sml
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
age
author
description
2009-11-17
Adam Chlipala
Hooks for measuring how much interesting proving is going on in elaboration
2009-10-06
Adam Chlipala
Fix a de Bruijn index bug in map fusion
2009-08-09
Adam Chlipala
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
2009-02-24
Adam Chlipala
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
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
2008-11-27
Adam Chlipala
Optimized ElabOps.subConInCon
2008-11-12
Adam Chlipala
Map distributivity rule in hnormCon
2008-10-04
Adam Chlipala
Merge CDisjoint and TDisjoint
2008-09-14
Adam Chlipala
Crud supports INSERT
2008-09-13
Adam Chlipala
foldTR2
2008-09-11
Adam Chlipala
Fixed a mind-numbing De Bruijn bug
2008-09-11
Adam Chlipala
Crud list works
2008-08-16
Adam Chlipala
Stub WHERE support
2008-08-14
Adam Chlipala
Non-star SELECT
2008-07-01
Adam Chlipala
Factor some operations into ElabOps
less
more
|
(0)
tip