Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Fa: 9c190b6ebc
Branch-ok Tag-ek
agda
/
notes
/
papers
/
iird
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 éve
..
Makefile 861f74f808 some work on iird paper 18 éve
iird.bib 2194813907 iird paper: submitted version 17 éve
lhs2TeX.fmt 44261990a2 skeleton for iird paper 18 éve
lhs2TeX.sty 44261990a2 skeleton for iird paper 18 éve
llncs.cls 43d4fd0c44 iird paper: llncs style 17 éve
macros.tex 44261990a2 skeleton for iird paper 18 éve
paper.lhs 23c9474092 [ whitespace ] untabify everything 10 éve
poly.fmt 44261990a2 skeleton for iird paper 18 éve
polycode.fmt 44261990a2 skeleton for iird paper 18 éve