applied-abstraction/precept — Issue #54: More type erasure in Indica?
Author: guerrilla
Created: 2012-02-20 18:08:51+00:00
State: open
Labels: Research

For example, do we really need the types of functions (especially when abstractions are typed)?