GitHub - flavioc/formal-meld

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
coq		coq
ll-system		ll-system
Makefile		Makefile
basic-with-compr.tex		basic-with-compr.tex
doc.pdf		doc.pdf
doc.tex		doc.tex
dynamic-expressions.tex		dynamic-expressions.tex
fp-macros.tex		fp-macros.tex
global-semantics.tex		global-semantics.tex
high-level-complete.tex		high-level-complete.tex
high-level-persistent.tex		high-level-persistent.tex
high-level-simple.tex		high-level-simple.tex
high-level.tex		high-level.tex
ideas.tex		ideas.tex
lecnotes.sty		lecnotes.sty
linear-logic.tex		linear-logic.tex
local-semantics.tex		local-semantics.tex
low-level-semantics.tex		low-level-semantics.tex
matching-continuations-aggregates.tex		matching-continuations-aggregates.tex
matching-continuations-compr.tex		matching-continuations-compr.tex
matching-continuations-persistent.tex		matching-continuations-persistent.tex
matching-continuations.tex		matching-continuations.tex
proof-dashed.sty		proof-dashed.sty
static.tex		static.tex
term-equivalence.tex		term-equivalence.tex