norem-lang A pure functional programming language with automatic verification and effect system. "Norem" stands for "Not Really Monadic".