guerrilla/precept — Issue #33: Fully specify Core to Indica transformation
Author: guerrilla
Created: 2012-01-23 21:46:30+00:00
State: open
Labels: Research

This specification needs to take into problems such as deriving return types for promoted abstractions during lambda lifting.