git.iko.soy/Idris-dev
on master help sign in
Created papers directory
09857e4Edwin Brady
impl-paper/Makefile → papers/impl-paper/Makefilerenamed
compare with master
unifiedsplit

The content is the same.

impl-paper/acmtrans.bst → papers/impl-paper/acmtrans.bstrenamed

The content is the same.

impl-paper/acmtrans2m.cls → papers/impl-paper/acmtrans2m.clsrenamed

The content is the same.

impl-paper/comments.sty → papers/impl-paper/comments.styrenamed

The content is the same.

impl-paper/compiling.tex → papers/impl-paper/compiling.texrenamed

The content is the same.

impl-paper/conclusions.tex → papers/impl-paper/conclusions.texrenamed

The content is the same.

impl-paper/delab.tex → papers/impl-paper/delab.texrenamed

The content is the same.

impl-paper/elaboration.tex → papers/impl-paper/elaboration.texrenamed

The content is the same.

impl-paper/hll.tex → papers/impl-paper/hll.texrenamed

The content is the same.

impl-paper/impldtp.tex → papers/impl-paper/impldtp.texrenamed

The content is the same.

impl-paper/intro.tex → papers/impl-paper/intro.texrenamed

The content is the same.

impl-paper/jfp.bst → papers/impl-paper/jfp.bstrenamed

The content is the same.

impl-paper/jfp1.cls → papers/impl-paper/jfp1.clsrenamed

The content is the same.

impl-paper/library.bib → papers/impl-paper/library.bibrenamed

The content is the same.

impl-paper/library.ltx → papers/impl-paper/library.ltxrenamed

The content is the same.

impl-paper/literature.bib → papers/impl-paper/literature.bibrenamed

The content is the same.

impl-paper/macros.ltx → papers/impl-paper/macros.ltxrenamed

The content is the same.

impl-paper/overview.tex → papers/impl-paper/overview.texrenamed

The content is the same.

impl-paper/proofstate.tex → papers/impl-paper/proofstate.texrenamed

The content is the same.

impl-paper/syntax.tex → papers/impl-paper/syntax.texrenamed

The content is the same.

impl-paper/typechecking.tex → papers/impl-paper/typechecking.texrenamed

The content is the same.