guerrilla/precept — Issue #22: Port Internal machinery to Core (Inte)
Author: guerrilla
Created: 2012-01-19 05:12:24+00:00
State: open
Labels: Refactoring

Type checking, normalisation, etc. are currently adapted to the Internal language.
All of Internal should eventually be removed, but first we need to port this code to Inte,