Medik is a language for developing medical guidance systems by expressing them as finite state machines. For more information on the motivation, background work, and underlying design principles behind MediK, please refer to this recorded talk on youtube.
Use make deps && make tests-llvm to run the tests.
Useful targets:
make depsfetches relevant K submodules.make defn-llvmkompiles the medik definition.make tests-llvmruns tests.