Playground for exploring type-level programming.
Primary LanguageTypeScriptGNU General Public License v3.0GPL-3.0