An impossible function for exhaustiveness checking
Replaced by @calculemus/oli-hammock
A harness for simplifying custom embedded activity creation in Carnegie Mellon's OLI system
Some standard widgets for Carnegie Mellon's OLI
Abstract Binding Trees
Using @calculemus/abt to interpret lambda-calculus
Populates the boilerplate for an OLI Hammock based activity
Typescript implementation of Tutch, a TUTorial proof CHecker.
A webworker interface/wrapper for Tutch.
CodeMirror-based editor environment for Tutch.