This source code was written as part of a project at the "Universität Kassel Fachgebiet Wissensverarbeitung Fachbereich 16" by Sebastian Benner. The project was supervised by Maximilan Felde.
A re-frame application designed to scale many-valued contexts into formal contexts.
npm install -g karma-cli
The karma wrapper is needed globally to run tests.
export CHROME_BIN=chromium
CHROME_BIN needs to be set and therefore some kind of Chrome needs to be installed.
lein clean
lein dev
shadow-cljs will automatically push cljs changes to the browser.
Wait a bit, then browse to http://localhost:8280.
lein karma
Once again CHROME_BIN needs to be set.