]> git.xn--bdkaa.com Git - bachelor-thesis.git/commit
projects / bachelor-thesis.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
init master
authorEvgenii Akentev <i@ak3n.com>
Fri, 18 Jan 2019 19:28:24 +0000 (20:28 +0100)
committerEvgenii Akentev <i@ak3n.com>
Fri, 18 Jan 2019 19:28:24 +0000 (20:28 +0100)
commit7cc7e91ed86879f6a5a4f11fd3d5c134e788e5f9
tree375d5ad727796ea527e9f1292b2aa4d53792a1a6tree | snapshot
init
13 files changed:
.boring [new file with mode: 0755] blob
Makefile [new file with mode: 0755] blob
NetworkAndService.lagda [new file with mode: 0755] blob
Prelude.agda [new file with mode: 0755] blob
Semantics.lagda [new file with mode: 0755] blob
Syntax.lagda [new file with mode: 0755] blob
Theorems.lagda [new file with mode: 0755] blob
Typesystem.lagda [new file with mode: 0755] blob
Typingrules.lagda [new file with mode: 0755] blob
latex/agda.sty [new file with mode: 0755] blob
latex/iu.jpg [new file with mode: 0755] blob
thesis.bib [new file with mode: 0755] blob
thesis.lagda [new file with mode: 0755] blob
My bachelor thesis at Innopolis University