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.
