GitHub - burakemir/burakemir.github.io

Name		Name	Last commit message	Last commit date
Latest commit History 60 Commits
about		about
arrowlogo		arrowlogo
categories		categories
images		images
js		js
mangle-point-in-time-01		mangle-point-in-time-01
mangle-point-in-time-02		mangle-point-in-time-02
odersky-fest-23		odersky-fest-23
pages/artifacts		pages/artifacts
post		post
tags		tags
.nojekyll		.nojekyll
404.html		404.html
BurakEmir-2007-04-23.jpg		BurakEmir-2007-04-23.jpg
CNAME		CNAME
article.css		article.css
blog.html		blog.html
dark.css		dark.css
description_logics.html		description_logics.html
docu_badges.html		docu_badges.html
docu_impl_explanation.svg		docu_impl_explanation.svg
docu_impl_howto.svg		docu_impl_howto.svg
docu_impl_reference.svg		docu_impl_reference.svg
docu_impl_tutorial.svg		docu_impl_tutorial.svg
docu_spec_explanation.svg		docu_spec_explanation.svg
docu_spec_howto.svg		docu_spec_howto.svg
docu_spec_reference.svg		docu_spec_reference.svg
docu_spec_tutorial.svg		docu_spec_tutorial.svg
hilbert.js		hilbert.js
homepage.css		homepage.css
index.html		index.html
pollen.html		pollen.html
relational-query.png		relational-query.png
research.html		research.html
robots.txt		robots.txt
scalaxbook.docbk.html		scalaxbook.docbk.html
sitemap.xml		sitemap.xml
technics.html		technics.html
technics.jpg		technics.jpg
webapp-container.png		webapp-container.png