Mercurial > hg > Papers > 2017 > ryokka-midterm

view midterm/midterm.pdf @ 7:c0a6124f436b default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
delete natural deduction. add CbC,Agda more description
author ryokka
date Fri, 27 Oct 2017 17:06:15 +0900
parents 3be2444dacc5
children
line wrap: on
line source

(binary:application/pdf)