Modulus is superseeded by Sigil. While not yet up to feature parity, Sigil is based around a much stronger theoretical core, Homotopy Type Theory. Modulus is intended to bring together the development ...