lxsameer
/
mopl
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
9 Commits 1 Branch 1 Tag 412 KiB
TeX 97.2%
Makefile 2.8%
Go to file
Sameer Rahmani e4e8da96e4
Finish the basics of logic 		2023-07-09 19:09:53 +01:00
ep2 ep2: Add a picture of the tweet 2022-12-02 21:32:12 +00:00
.gitignore Initial commit 2022-10-08 22:59:01 +01:00
Makefile ep2: Add a figure of musical notation 2022-11-30 22:59:33 +00:00
README.org Add pdf to png convertion for the cover screen 2022-10-22 21:01:16 +01:00
ep1.tex ep2: Add a picture of the tweet 2022-12-02 21:32:12 +00:00
ep2.tex Finish the basics of logic 2023-07-09 19:09:53 +01:00
ep3.tex Finish the basics of logic 2023-07-09 19:09:53 +01:00
lxpresent.cls Finish the basics of logic 2023-07-09 19:09:53 +01:00
serene.png Finish up the cover page 2022-10-09 14:00:18 +01:00

README.org

Mathematics of programming languages

You need to have tevlive and the poppler package installed