repos
/
Pig09
/ summary
summary
|
shortlog
|
log
|
tree
description
Epigram '09
last change
Tue, 19 Jun 2012 15:07:14
url
http://www.e-pig.org/darcs/Pig09
shortlog
11 months ago
pwm@cs.nott.ac.uk
pig eats source
commit
|
commitdiff
11 months ago
conor@cis.strath.ac.uk
try.epi
commit
|
commitdiff
11 months ago
pwm@cs.nott.ac.uk
elab EpiDoc stub
commit
|
commitdiff
12 months ago
conor@cis.strath.ac.uk
compiling under 7.4; no idea what it does
commit
|
commitdiff
15 months ago
adam.gundry@strath.ac.uk
We need higher-order unification, but we aint got it
commit
|
commitdiff
16 months ago
pwm@cs.nott.ac.uk
More unification in elaboration
commit
|
commitdiff
16 months ago
pwm@cs.nott.ac.uk
Better fix - now deals with ambiguity
commit
|
commitdiff
16 months ago
pwm@cs.nott.ac.uk
Mare graceful failure when mispalling tactic names
commit
|
commitdiff
16 months ago
pwm@cs.nott.ac.uk
exTm elab in Cochon
commit
|
commitdiff
16 months ago
pwm@cs.nott.ac.uk
Hoping for a proof of a reflexive eq gives refl
commit
|
commitdiff
16 months ago
pwm@cs.nott.ac.uk
Whoops
commit
|
commitdiff
16 months ago
pwm@cs.nott.ac.uk
Conchon meet Parx, Parx - Cochon
commit
|
commitdiff
17 months ago
pwm@cs.nott.ac.uk
Unfinished monkey business
commit
|
commitdiff
17 months ago
pwm@cs.nott.ac.uk
elab Pi
commit
|
commitdiff
17 months ago
pwm@cs.nott.ac.uk
Bug ficing elaboration
commit
|
commitdiff
...