-
Duncan Coutts authored
At the moment it's a partial function, but we should change that by having a distinction between an abstract program and a configured program.
dffb2a27
At the moment it's a partial function, but we should change that by having a distinction between an abstract program and a configured program.