summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2013-06-23..>Francesco Mazzoli
2013-06-22...Francesco Mazzoli
2013-06-18the war is over johnnyFrancesco Mazzoli
2013-06-17...Francesco Mazzoli
2013-06-15introductionFrancesco Mazzoli
2013-06-15add agda.sty, to be safeFrancesco Mazzoli
2013-06-14...Francesco Mazzoli
2013-06-14fooFrancesco Mazzoli
2013-06-14...Francesco Mazzoli
2013-06-13lulFrancesco Mazzoli
2013-06-13...Francesco Mazzoli
2013-06-12...Francesco Mazzoli
2013-06-11...Francesco Mazzoli
2013-06-11...Francesco Mazzoli
2013-06-11more reportFrancesco Mazzoli
2013-06-10...Francesco Mazzoli
2013-06-10...Francesco Mazzoli
2013-06-07...Francesco Mazzoli
2013-06-06sighFrancesco Mazzoli
2013-06-03...Francesco Mazzoli
2013-05-29more report stuffFrancesco Mazzoli
2013-05-24...Francesco Mazzoli
2013-05-22more progressFrancesco Mazzoli
2013-05-22hide module declarationFrancesco Mazzoli
2013-05-22committed file by mistakeFrancesco Mazzoli
2013-05-22thesis stubFrancesco Mazzoli
2013-01-28docs top levelFrancesco Mazzoli
2013-01-28stuff!Francesco Mazzoli
2013-01-16renaming, more stuffFrancesco Mazzoli
2013-01-15notesFrancesco Mazzoli
2013-01-15more stuffFrancesco Mazzoli
2013-01-13more stuffFrancesco Mazzoli
2013-01-12more stuffFrancesco Mazzoli
2013-01-09report reportFrancesco Mazzoli
2013-01-06more stuffFrancesco Mazzoli
2013-01-05more background reportFrancesco Mazzoli
2012-12-17more backgroundFrancesco Mazzoli
2012-12-17more backgroundFrancesco Mazzoli
2012-12-16lambda-calculus stuffFrancesco Mazzoli
2012-12-14initial filesFrancesco Mazzoli
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-16 20:46:59 +0000