Name		Name	Last commit message	Last commit date
examples		examples
generated		generated
removed_sections		removed_sections
tools		tools
.gitignore		.gitignore
README.md		README.md
bibliography.bib		bibliography.bib
computing-surveys.csl		computing-surveys.csl
metadata.yaml		metadata.yaml
notes.md		notes.md
obudai.png		obudai.png
presentation_1.md		presentation_1.md
presentation_2.md		presentation_2.md
thesis.md		thesis.md

Repository files navigation

My BSc thesis at Óbuda University - John von Neumann Faculty of Informatics

Format

... some notes about markdown, pandoc, bib, etc...

Generating documents

$ tools/run_pandoc.sh

Dependencies

sudo apt-get install texlive-latex-base
sudo apt-get install texlive-fonts-recommended
sudo apt-get install texlive-latex-extra

About

A survey of type systems in programming languages

1 star

0 watching

Report repository

Releases

Packages

Contributors

Languages