wizard

Wizard is a work-in-progress programming language.

The goal of wizard is to provide a small foundation on which to build more expressive languages. Wizard provides:

(WIP) A strong, static type system with first-class types, univalence, identity types, and linear types
(Not started) Sound type coercion
(Done) Hygenic macros
(WIP) A small stdlib of useful things, e.g. http, lists, etc
(Not started) A compiler targeting Zig(?)
(Not started) A package manager
(Not started) An autoformatter