applied-abstraction/precept — Issue #77: Better Core syntax for reductions
Author: guerrilla
Created: 2012-03-04 13:52:25+00:00
State: open
Labels: Specification

Eliminations (and eventually introductions) will be more structured than currently. The syntax needs to reflect this.