Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
images		images
posts		posts
readremaining.js-readremainingjs		readremaining.js-readremainingjs
AlBasmala.el		AlBasmala.el
AlBasmala.html		AlBasmala.html
AlBasmala.org.html		AlBasmala.org.html
HeytingAlgebra.html		HeytingAlgebra.html
HeytingAlgebra.org.html		HeytingAlgebra.org.html
InteractiveWayToC.html		InteractiveWayToC.html
InteractiveWayToC.org.html		InteractiveWayToC.org.html
MathJaxPreamble.org		MathJaxPreamble.org
PathCat.html		PathCat.html
PathCat.org.html		PathCat.org.html
README.md		README.md
TypedLisp.html		TypedLisp.html
TypedLisp.org.html		TypedLisp.org.html
about.html		about.html
about.org		about.org
archive.html		archive.html
blog-banner.css		blog-banner.css
doom-solarized-light.css		doom-solarized-light.css
floating-toc.css		floating-toc.css
index.html		index.html
org-notes-style.css		org-notes-style.css
rss.xml		rss.xml
solgaleo.org		solgaleo.org
tag-agda.html		tag-agda.html
tag-c.html		tag-c.html
tag-category-theory.html		tag-category-theory.html
tag-dependent-types.html		tag-dependent-types.html
tag-emacs.html		tag-emacs.html
tag-frama-c.html		tag-frama-c.html
tag-lisp.html		tag-lisp.html
tag-order-theory.html		tag-order-theory.html
tag-packages.html		tag-packages.html
tag-program-proving.html		tag-program-proving.html
tag-types.html		tag-types.html
tags.html		tags.html
test.html		test.html
three-minute-thesis.html		three-minute-thesis.html
three-minute-thesis.org.html		three-minute-thesis.org.html
usual-org-front-matter.css		usual-org-front-matter.css

Repository files navigation

alhassy.github.io

My personal blog (•̀ᴗ•́)و