Mercurial
Mercurial
>
hg
>
nominal2
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-1000
-300
-100
-60
+60
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
merged
2010-04-01, by Christian Urban
updated related work section
2010-04-01, by Christian Urban
fv_fv_bn
2010-04-01, by Cezary Kaliszyk
Update fv_bn definition for bindings allowed in types for which bn is present.
2010-04-01, by Cezary Kaliszyk
fv_perm_bn
2010-04-01, by Cezary Kaliszyk
Minor formula fixes.
2010-04-01, by Cezary Kaliszyk
fixed alpha_bn
2010-04-01, by Christian Urban
current state
2010-04-01, by Christian Urban
merged
2010-04-01, by Christian Urban
added alpha_bn definition
2010-04-01, by Christian Urban
hfill for right aligning single table cells.
2010-04-01, by Cezary Kaliszyk
Cleaning the strong induction example.
2010-04-01, by Cezary Kaliszyk
minor
2010-04-01, by Cezary Kaliszyk
Fighting with space in displaying strong induction...
2010-04-01, by Cezary Kaliszyk
starting strong induction
2010-04-01, by Cezary Kaliszyk
General paper minor fixes.
2010-04-01, by Cezary Kaliszyk
Forgot to save before commit.
2010-04-01, by Cezary Kaliszyk
Let with multiple bindings.
2010-04-01, by Cezary Kaliszyk
Fill the space below the figure.
2010-04-01, by Cezary Kaliszyk
last commit for now.
2010-04-01, by Christian Urban
more on the conclusion
2010-04-01, by Christian Urban
completed related work section
2010-04-01, by Christian Urban
more on the paper
2010-04-01, by Christian Urban
added an item about alpha-equivalence (the existential should be closer to the abstraction)
2010-04-01, by Christian Urban
polished everything up to TODO
2010-03-31, by Christian Urban
merged
2010-03-31, by Christian Urban
added alpha-definition for ~~ty
2010-03-31, by Christian Urban
permute_bn
2010-03-31, by Cezary Kaliszyk
abbreviations for \<otimes> and \<oplus>
2010-03-31, by Christian Urban
merged
2010-03-31, by Christian Urban
a test with let having multiple bodies
2010-03-31, by Christian Urban
polished and removed tys from bn-functions.
2010-03-31, by Christian Urban
merge
2010-03-31, by Cezary Kaliszyk
More on paper
2010-03-31, by Cezary Kaliszyk
started to polish alpha-equivalence section, but needs more work
2010-03-31, by Christian Urban
started with a related work section
2010-03-31, by Christian Urban
polished and added an example for fvars
2010-03-30, by Christian Urban
cleaned up the section about fv's
2010-03-30, by Christian Urban
tuned beginning of section 4
2010-03-30, by Christian Urban
More on section 5.
2010-03-30, by Cezary Kaliszyk
More on section 5.
2010-03-30, by Cezary Kaliszyk
merged
2010-03-30, by Christian Urban
removed "raw" distinction
2010-03-30, by Christian Urban
More on Section 5
2010-03-30, by Cezary Kaliszyk
Beginning of section 5.
2010-03-30, by Cezary Kaliszyk
merged
2010-03-30, by Christian Urban
Avoid mentioning other nominal datatypes as it makes things too complicated.
2010-03-30, by Cezary Kaliszyk
merged
2010-03-30, by Christian Urban
close the missing parenthesis on both sides.
2010-03-30, by Cezary Kaliszyk
merged
2010-03-30, by Christian Urban
changes to section 2
2010-03-30, by Christian Urban
Clean alpha
2010-03-30, by Cezary Kaliszyk
clean fv_bn
2010-03-30, by Cezary Kaliszyk
alpha_bn
2010-03-30, by Cezary Kaliszyk
Change @{text} to @{term}
2010-03-30, by Cezary Kaliszyk
alpha
2010-03-30, by Cezary Kaliszyk
more
2010-03-30, by Cezary Kaliszyk
fv and fv_bn
2010-03-30, by Cezary Kaliszyk
more of the paper
2010-03-30, by Christian Urban
merged
2010-03-29, by Christian Urban
less
more
|
(0)
-1000
-300
-100
-60
+60
+100
+300
+1000
tip