changeset | 61117df82f51 |
---|---|
branch | default |
bookmark | |
tag | tip |
user | ryokka |
description | fix |
files | Paper/tecrep.pdf ryokka-sigss.mm slide/Makefile slide/slide.html slide/slide.md |
changeset | 07e1ccdfd844 |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | fix slide |
files | slide/slide.html slide/slide.md |
changeset | e285fb83488b |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | fix slide in 611 |
files | slide/slide.md |
changeset | b711209123f7 |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | update |
files | slide/Makefile slide/slide.html slide/slide.md |
changeset | fde9ee0cc8ae |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | fix |
files | slide/slide.md |
changeset | e8fe28afe61e |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | fix slide |
files | slide/Makefile slide/slide.html slide/slide.md |
changeset | 17b7605a5deb |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | add figures, some slides |
files | ryokka-sigss.mm slide/pic/cgdg-small.pdf slide/pic/cgdg-small.svg slide/pic/cgdg.svg slide/pic/codeGear_dataGear.pdf slide/pic/codeGear_dataGear.xbb slide/s6/themes/blank.css slide/slide.html slide/slide.md |
changeset | a87fec07fd78 |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | add slide |
files | Paper/tecrep.pdf ryokka-sigss.mm slide/Makefile slide/s6/images/logo.svg slide/s6/js/jquery-1.11.3.min.js slide/s6/js/jquery.microsoft.js slide/s6/js/jquery.slideshow.autoplay.js slide/s6/js/jquery.slideshow.controls.js slide/s6/js/jquery.slideshow.counter.js slide/s6/js/jquery.slideshow.footer.js |
changeset | 08f8641c705b |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | fix |
files | Paper/tecrep.bib Paper/tecrep.pdf Paper/tecrep.tex |
changeset | 83d000399c9d |
---|---|
branch | |
bookmark | |
tag | |
user | ryokka |
description | fix invisible char |
files | Paper/Makefile Paper/escape_agda.rb Paper/src/function.agda.replaced Paper/src/gears-while.agda.replaced Paper/src/gears.agda.replaced Paper/src/record.agda.replaced Paper/src/term1.agda.replaced Paper/src/term2.agda.replaced Paper/src/term3.agda.replaced Paper/src/while-test.agda.replaced |