iota

Typed symbolic programming (uints, bools, tenses) over oxidd-wasm. Inspired by omega.symbolic.fol. Source.