taype-mode An Emacs major mode for the taype language, a policy-agnostic language for oblivious computation with algebraic data types. Features simple syntax highlighting (font lock)