zflang

A programming language built around Zermelo–Fraenkel set theory