 Ilya Yanok
|
23c9474092
[ whitespace ] untabify everything
|
10 lat temu |
 Andrés Sicard-Ramírez
|
e227990568
[ fix-agda-whitespace ] Don't running from the src/directoy but the base directory.
|
10 lat temu |
 ulfn
|
2194813907
iird paper: submitted version
|
18 lat temu |
|
ulfn
|
e0a3d8f855
iird paper: spell correction
|
18 lat temu |
|
ulfn
|
86c9fd4820
iird paper: reduced to 16 pages
|
18 lat temu |
|
ulfn
|
8b580c1d88
iird paper: submittable version
|
18 lat temu |
|
ulfn
|
98d1e55af0
iird paper: examples and introduction to IID
|
18 lat temu |
|
ulfn
|
66de8ebf26
iird paper: notes on the formal proof
|
18 lat temu |
|
ulfn
|
43d4fd0c44
iird paper: llncs style
|
18 lat temu |
|
ulfn
|
6ad648b50d
iird paper: introduction
|
18 lat temu |
|
ulfn
|
35cc34e7d8
iird paper: identity type section
|
18 lat temu |
|
ulfn
|
6c702f04ab
iird paper: description of the logical framework
|
18 lat temu |
|
ulfn
|
3da0b4a81e
iird paper: finished proof
|
18 lat temu |
|
ulfn
|
571bbbb7ae
iird paper: proved equality rule
|
18 lat temu |
|
ulfn
|
04b629bccb
iird paper: elimination rules
|
18 lat temu |
|
ulfn
|
861f74f808
some work on iird paper
|
18 lat temu |
|
ulfn
|
bc8d7975e7
some work on iird paper
|
18 lat temu |
|
ulfn
|
44261990a2
skeleton for iird paper
|
18 lat temu |
