IntersectMBO · zeme-wana · Apr 24, 2025 · Apr 24, 2025 · Apr 24, 2025 · Apr 24, 2025
diff --git a/.gitignore b/.gitignore
@@ -108,10 +108,10 @@ linkchecker-out.txt
 plutus-pab/test-node/testnet/db
 plutus-pab/test-node/alonzo-purple/db
 *.actual.json
+*.sty
 # profiling output files
 *.timelog
 *.stacks
 .nvimrc
 release-*
-.worktrees
 TestCert.*
diff --git a/doc/cost-model-overview/Makefile b/doc/cost-model-overview/Makefile
@@ -1,35 +1,6 @@
-DOC=cost-model-overview
-
-PDF=${DOC}.pdf
-BIB=${DOC}.bib
-
-SRC = ${DOC}.tex 
-
-LATEX = pdflatex -halt-on-error -shell-escape
-
-.PHONEY: all pdf again clean 
-
-#----------------------------------------------------------------
-
-all: pdf
-
-pdf: ${PDF}
-
-${DOC}.pdf: ${SRC} 
-	-rm -f ${DOC}.bbl ${DOC}.aux ${DOC}.nls ${DOC}.nlo
-	${LATEX}  ${DOC}
-	${LATEX}  ${DOC}   # to make sure the (cross)references are correct
-	${LATEX}  ${DOC}
-
-#----------------------------------------------------------------
-again: 
-	touch ${DOC}.tex && ${MAKE}
+all:
+	latexmk -pdf cost-model-overview.tex
 
 clean:
-	rm -f *.aux *.log *.cov *.par *.bbl *.fls *.blg *.out *.xml *.bcf *.dvi *.toc *.tdo *.nls *.nlo *.ilg *~
-
-clean2: clean
-	rm -f ${DOC}.pdf
+	latexmk -C
 
-v: ${PDF}
-	${PDFVIEWER} ${PDF} 2>/dev/null &
diff --git a/doc/extended-utxo-spec/Makefile b/doc/extended-utxo-spec/Makefile
@@ -1,46 +1,6 @@
-DOC=extended-utxo-specification
+all:
+	latexmk -pdf extended-utxo-specification.tex
 
-PDF=${DOC}.pdf
-BIB=${DOC}.bib
-
-FIGS=./figures
-
-SRC = ${DOC}.tex ${BIB}
-
-
-LATEX = pdflatex -halt-on-error -shell-escape # To get pstricks to work with PDF
-BIBTEX = bibtex
-
-.PHONEY: all pdf figs again clean 
-
-#----------------------------------------------------------------
-
-all: pdf
-
-pdf: ${PDF}
-
-${DOC}.pdf: ${SRC}
-	rm -f ${DOC}.bbl
-	${LATEX} ${DOC}
-	${BIBTEX} ${DOC}
-	${LATEX}  ${DOC}   # to make sure the (cross)references are correct
-	${LATEX}  ${DOC}
-	${LATEX}  ${DOC}
-
-figs:
-	cd ${FIGS} && ${MAKE}
-
-#----------------------------------------------------------------
-again: 
-	touch ${DOC}.tex && ${MAKE}
-
-clean1:
-	rm -f *.aux *.log *.cov *.par *.bbl *.fls *.blg *.xml *.bcf *.dvi *~
-	cd ${FIGS} && ${MAKE} clean
-
-clean: clean1
-	rm -f ${DOC}.pdf
-
-v: ${PDF}
-	acroread ${PDF} 2>/dev/null
+clean:
+	latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm
 
diff --git a/doc/notes/cost-model-notes/Makefile b/doc/notes/cost-model-notes/Makefile
@@ -1,42 +1,6 @@
-DOC=cost-model-notes
-
-PDF=${DOC}.pdf
-
-FIGS=./figures
-
-SRC = ${DOC}.tex
-
-
-LATEX = pdflatex -halt-on-error -shell-escape
-
-.PHONEY: all pdf figs again clean 
-
-#----------------------------------------------------------------
-
-all: pdf
-
-pdf: ${PDF}
-
-${DOC}.pdf: ${SRC}
-	-rm -f ${DOC}.bbl ${DOC}.aux
-	${LATEX}  ${DOC}
-	${LATEX}  ${DOC}
-	${LATEX}  ${DOC}
-
-figs:
-	cd ${FIGS} && ${MAKE}
-
-#----------------------------------------------------------------
-again: 
-	touch ${DOC}.tex && ${MAKE}
+all:
+	latexmk -pdf cost-model-notes.tex
 
 clean:
-	rm -f *.aux *.log *.cov *.par *.bbl *.fls *.blg *.xml *.bcf *.dvi *~
-	cd ${FIGS} && ${MAKE} clean
-
-clean2: clean
-	rm -f ${DOC}.pdf
-
-v: ${PDF}
-	acroread ${PDF} 2>/dev/null &
+	latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm
 
diff --git a/doc/notes/fomega/cek-cps-experiments/tex/Makefile b/doc/notes/fomega/cek-cps-experiments/tex/Makefile
@@ -1,9 +1,6 @@
-all: results.pdf
-
-results.pdf: results.tex
-	pdflatex results.tex
-	pdflatex results.tex
+all:
+	latexmk -pdf results.tex
 
 clean:
-	-rm -f *.log *.aux *~
+	latexmk -C
 
diff --git a/doc/notes/fomega/lazy-machine/Makefile b/doc/notes/fomega/lazy-machine/Makefile
@@ -1,42 +1,6 @@
-DOC=lazy-plutus-core
-PDF=${DOC}.pdf
-BIB=${DOC}.bib
-
-SRC = ${DOC}.tex ckmachine.tex cekmachine.tex lmachine.tex ${BIB}
-
-
-FIGS=./figs
-
-LATEX = pdflatex -halt-on-error -shell-escape # To get pstricks to work with PDF
-BIBTEX = bibtex
-
-.PHONEY: all pdf v clean # figs pngs
-
-#----------------------------------------------------------------
-
-all: pdf
-
-pdf: ${PDF}
-
-${DOC}.pdf: ${SRC} ${BIB}
-	${LATEX}  ${DOC}
-	${BIBTEX} ${DOC}
-	${LATEX}  ${DOC}   # to make sure the (cross)references are correct
-	${LATEX}  ${DOC}
-
-figs:
-	cd ${FIGS} && ${MAKE}
-
-pngs:
-	cd ${FIGS} && ${MAKE} pngs
-#----------------------------------------------------------------
-
-v: ${DOC}.pdf
-	acroread ${DOC}.pdf
+all:
+	latexmk -pdf lazy-plutus-core.tex
 
 clean:
-	rm -f *.aux *.log *.cov *.par *.bbl *.fls *.blg *.xml *.bcf *~
-#	cd ${FIGS} && ${MAKE} clean
+	latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm
 
-clean2:
-	${MAKE} clean && rm -rf ${PDF}
diff --git a/doc/notes/multi-currency/Makefile b/doc/notes/multi-currency/Makefile
@@ -0,0 +1,6 @@
+all:
+	latexmk -pdf multi-currency.tex
+
+clean:
+	latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm
+
diff --git a/doc/notes/multi-currency/main.tex → doc/notes/multi-currency/multi-currency.tex b/doc/notes/multi-currency/main.tex → doc/notes/multi-currency/multi-currency.tex
diff --git a/doc/papers/eutxo/Makefile b/doc/papers/eutxo/Makefile
@@ -0,0 +1,6 @@
+all:
+	latexmk -pdf eutxo.tex
+
+clean:
+	latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm
+
diff --git a/doc/papers/eutxoma/Makefile b/doc/papers/eutxoma/Makefile
@@ -1,45 +1,6 @@
-DOC=eutxoma
+all:
+	latexmk -pdf eutxoma.tex
 
-PDF=${DOC}.pdf 
-BIB=${DOC}.bib
-
-FIGS=./figures
-
-SRC = *.tex ${BIB}
-
-
-LATEX = pdflatex -halt-on-error -shell-escape # To get pstricks to work with PDF
-BIBTEX = bibtex
-
-.PHONEY: all pdf figs again clean 
-
-#----------------------------------------------------------------
-
-all: pdf
-
-pdf: ${PDF}
-
-${DOC}.pdf: ${SRC}
-	rm -f ${DOC}.bbl
-	${LATEX} ${DOC}
-	${BIBTEX} ${DOC}
-	${LATEX}  ${DOC}   # to make sure the (cross)references are correct
-	${LATEX}  ${DOC}
-
-figs:
-#	cd ${FIGS} && ${MAKE}
-
-#----------------------------------------------------------------
-again: 
-	touch ${DOC}.tex && ${MAKE}
-
-clean1:
-	rm -f *.aux *.log *.cov *.par *.bbl *.fls *.blg *.xml *.bcf *.dvi *.out *~
-#	cd ${FIGS} && ${MAKE} clean
-
-clean: clean1
-	rm -f ${DOC}.pdf
-
-v: ${PDF}
-	acroread 2>/dev/null ${PDF}
+clean:
+	latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm
 
diff --git a/doc/papers/system-f-in-agda/.gitignore b/doc/papers/system-f-in-agda/.gitignore
@@ -1 +1,3 @@
 *.pdf
+# Generated by agda
+system-f-in-agda.tex
diff --git a/doc/papers/system-f-in-agda/Makefile b/doc/papers/system-f-in-agda/Makefile
@@ -1,45 +1,7 @@
-DOC=paper
-BIBFILE =bibliography
-PDF=${DOC}.pdf
-BIB=${BIBFILE}.bib
-
-LAGDA = ${DOC}.lagda
-SRC = ${DOC}.tex ${BIB} 
-
-AGDA = agda --latex --latex-dir .
-LATEX = pdflatex -halt-on-error -shell-escape # To get pstricks to work with PDF
-BIBTEX = bibtex
-
-.PHONEY: all pdf figs again clean 
-
-#----------------------------------------------------------------
-
-all: pdf
-
-pdf: ${PDF}
-
-${DOC}.pdf: ${LAGDA}
-	${AGDA}   ${LAGDA}
-	${LATEX}  ${DOC}
-	${BIBTEX} ${DOC}
-	${LATEX}  ${DOC}   # to make sure the (cross)references are correct
-	${LATEX}  ${DOC}
-
-figs:
-	cd ${FIGS} && ${MAKE}
-
-
-#----------------------------------------------------------------
-
-again: 
-	touch ${DOC}.lagda && ${MAKE}
+all:
+	agda-with-stdlib --latex system-f-in-agda.lagda --latex-dir .
+	latexmk -pdf system-f-in-agda.tex
 
 clean:
-	rm -f ${DOC}.tex *.aux *.log *.cov *.par *.bbl *.fls *.blg *.xml *.bcf *.dvi *.out *~
-
-clean2: clean
-	rm -f ${DOC}.pdf
-
-v: ${PDF}
-	acroread ${PDF}
+	latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm *.sty *.ptb 
 
diff --git a/doc/papers/system-f-in-agda/paper.lagda → ...s/system-f-in-agda/system-f-in-agda.lagda b/doc/papers/system-f-in-agda/paper.lagda → ...s/system-f-in-agda/system-f-in-agda.lagda
diff --git a/doc/papers/unraveling-recursion/.gitignore b/doc/papers/unraveling-recursion/.gitignore
@@ -1,2 +1,6 @@
 *.pdf
 latex
+# Generated by agda
+IFix.tex
+RecursiveData.tex
+RecursiveTerms.tex
diff --git a/doc/papers/unraveling-recursion/Makefile b/doc/papers/unraveling-recursion/Makefile
@@ -0,0 +1,8 @@
+all:
+	for f in *.lagda; do \
+		agda-with-stdlib --latex $$f --latex-dir .; \
+	done
+	latexmk -pdf unraveling-recursion.tex
+
+clean:
+	latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm *.sty *.ptb *.agdai
diff --git a/doc/papers/unraveling-recursion/agdaswitch.tex b/doc/papers/unraveling-recursion/agdaswitch.tex
@@ -0,0 +1 @@
+\toggletrue{lagda}
diff --git a/doc/papers/utxoma/Makefile b/doc/papers/utxoma/Makefile
@@ -1,45 +1,5 @@
-DOC=utxoma
-
-PDF=${DOC}.pdf 
-BIB=${DOC}.bib
-
-FIGS=./figures
-
-SRC = *.tex ${BIB}
-
-
-LATEX = pdflatex -halt-on-error -shell-escape # To get pstricks to work with PDF
-BIBTEX = bibtex
-
-.PHONEY: all pdf figs again clean 
-
-#----------------------------------------------------------------
-
-all: pdf
-
-pdf: ${PDF}
-
-${DOC}.pdf: ${SRC}
-	rm -f ${DOC}.bbl
-	${LATEX} ${DOC}
-	${BIBTEX} ${DOC}
-	${LATEX}  ${DOC}   # to make sure the (cross)references are correct
-	${LATEX}  ${DOC}
-
-figs:
-#	cd ${FIGS} && ${MAKE}
-
-#----------------------------------------------------------------
-again: 
-	touch ${DOC}.tex && ${MAKE}
-
-clean1:
-	rm -f *.aux *.log *.cov *.par *.bbl *.fls *.blg *.xml *.bcf *.dvi *.out *~
-#	cd ${FIGS} && ${MAKE} clean
-
-clean: clean1
-	rm -f ${DOC}.pdf
-
-v: ${PDF}
-	acroread 2>/dev/null ${PDF}
+all:
+	latexmk -pdf utxoma.tex
 
+clean:
+	latexmk -C && rm -f *.bbl *.nlo *.nls *.ist *.thm