current commit
230801.3 · Require a main program (fix #2785)
def a: .;