Something went wrong. Try again.
The Package Calculus
Something went wrong. Try again.
package-calculus makefile
263 B · 15 lines
Makefile
at main
12345678910111213141516.PHONY: all build validate clean cache
all: build
cache: lake exe cache get
build: lake build PackageCalculus
validate: build lake env lean scripts/axioms.lean
clean: rm -rf .lake/build/lib/lean/PackageCalculus .lake/build/lib/lean/PackageCalculus.olean