GitHub - DaMSL/K3-Reference: Reference Manual for the K3 Programming Language.

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
K3-Reference.sty		K3-Reference.sty
K3-Reference.tex		K3-Reference.tex
Makefile		Makefile
README		README
mathpartir.sty		mathpartir.sty

Repository files navigation

K3/reference
============

Reference manual for the K3 Programming Language.

Reference Manual for the K3 Programming Language.

No releases published