Something went wrong. Try again.
a minimal implementation of simply-typed lambda calculus in racket
Something went wrong. Try again.
1234567891011121314151617181920212223242526272829@_default: just -lalias i := installalias s := setupalias t := testalias d := docalias p := preview# link local packages into your Racket installationinstall: raco pkg install --auto --skip-installed --link ./stlc-lib ./stlc-test ./stlc-doc ./stlc# compile the linked packagessetup: raco setup --pkgs stlc-lib stlc-test# run the test suitetest: raco test stlc-test/tests/stlc/# build documentation as single-page HTMLdoc: raco scribble --html --dest doc --dest-name index stlc-doc/scribblings/stlc/main.scrbl# open the documentation pagepreview: open ./doc/index.html