Move spec to "doc.tex" and update Makefile/pipeline
parent
6e36d467
No related branches found
No related tags found
This commit is part of merge request !2. Comments created here will be created in the context of that merge request.
This diff is collapsed.
spec/spec.tex
deleted
100644 → 0
This diff is collapsed.
Please register or sign in to comment