source:
Papers/polymorphic-variants-2012
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
polymorphic-variants.bib | 682 bytes | 2416 | 8 years | Some more minor changes | |
test.ma | 1.1 KB | 2520 | 8 years | Now it is nice! | |
testb.ma | 1.7 KB | 2514 | 8 years | All .ma files committed: some of them are just in-progress. | |
Variants2.agda | 2.5 KB | 2552 | 8 years | Some different ideas, don't seem to be working out well. | |
infrastructure.ma | 2.8 KB | 2522 | 8 years | Generic stuff moved to infrastructure. | |
variants.ma | 3.4 KB | 2522 | 8 years | Generic stuff moved to infrastructure. | |
svglov3.clo | 3.7 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
test3.ma | 4.1 KB | 2514 | 8 years | All .ma files committed: some of them are just in-progress. | |
lst-grafite.tex | 4.3 KB | 2519 | 8 years | To prevent conflicts | |
test2.ma | 6.4 KB | 2514 | 8 years | All .ma files committed: some of them are just in-progress. | |
Variants.agda | 11.7 KB | 2550 | 8 years | Some new ideas that lead to non-termination… | |
prooftree.sty | 12.3 KB | 2424 | 8 years | Changes to the file including making a start on incorporating … | |
spphys.bst | 27.9 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
spmpsci.bst | 29.4 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
spbasic.bst | 32.5 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
ASM.ma | 32.5 KB | 2514 | 8 years | All .ma files committed: some of them are just in-progress. | |
polymorphic-variants.tex | 33.6 KB | 2542 | 8 years | Trying an Agda port of the polymorphic variants implementation to see … | |
svjour3.cls | 46.6 KB | 2396 | 8 years | Polymorphic variants paper skeleton |
Note: See TracBrowser
for help on using the repository browser.