Theory empty-1.3

theory file

name empty
version 1.3
requires
    meta.description The empty theory
    meta.author Joe Leslie-Hurd <joe@gilith.com>
    meta.license MIT
    name main
    article empty.art
    [evaluating…]