| .. |
|
examples
|
06a20b7169
[ cleaning ] Removed .cvsignore files.
|
10 年之前 |
|
Makefile
|
0dbbf809f2
meta paper: intro abstract and acks
|
18 年之前 |
|
abstract.tex
|
9d9e864c6e
meta paper: submitted
|
18 年之前 |
|
acknowledgement.tex
|
ba4dc46f2f
meta variable --> meta-variable
|
18 年之前 |
|
concl.tex
|
9d9e864c6e
meta paper: submitted
|
18 年之前 |
|
conclusions.tex
|
bfcf74acdb
more work on meta var paper
|
18 年之前 |
|
core.tex
|
9d9e864c6e
meta paper: submitted
|
18 年之前 |
|
examples.lhs
|
23c9474092
[ whitespace ] untabify everything
|
10 年之前 |
|
exintro.lhs
|
e227990568
[ fix-agda-whitespace ] Don't running from the src/directoy but the base directory.
|
10 年之前 |
|
implicit.tex
|
9d9e864c6e
meta paper: submitted
|
18 年之前 |
|
introduction.tex
|
9d9e864c6e
meta paper: submitted
|
18 年之前 |
|
lhs2TeXpreamble.lhs
|
691b8ed0b6
meta paper
|
18 年之前 |
|
llncs.cls
|
2194813907
iird paper: submitted version
|
18 年之前 |
|
macros.tex
|
3268b047e8
meta paper: more on the algorithm
|
18 年之前 |
|
notes
|
691b8ed0b6
meta paper
|
18 年之前 |
|
proof.sty
|
e8bd447a11
template for implicit arguments paper
|
18 年之前 |
|
proof.tex
|
9d9e864c6e
meta paper: submitted
|
18 年之前 |
|
rebuttal
|
dbf838e034
rebuttal to meta-variable paper review
|
18 年之前 |
|
relatedwork.tex
|
bfcf74acdb
more work on meta var paper
|
18 年之前 |
|
rules.tex
|
9d9e864c6e
meta paper: submitted
|
18 年之前 |
Andrés Sicard-Ramírez
06a20b7169
[ cleaning ] Removed .cvsignore files.