applied-abstraction/precept — Issue #53: Type-check and execute Haskell-encoded Core examples
Author: guerrilla
Created: 2012-02-16 11:52:25+00:00
State: open
Labels: Feature

**Research**
* ~~Choose an abstract machine for Vivo #34~~

**Detail**
* ~~Encode Core abstract syntax data structures #10~~
* ~~Encode examples in Core abstract syntax #11~~
* ~~Implement equivalence decision of Core expressions #12~~
* ~~Implement weak head reduction Core expressions #13~~
* ~~Implement Core type checking and inference #14~~
* ~~Implement Core abstraction promotion transformation #20~~
* ~~Implement Core constructor saturation transformation #21~~
* ~~Encode Indica abstract syntax #19~~
* ~~Implement Core compilation to Indica #24~~
~~* Encode Vivo abstract syntax #16~~
* Implement Indica compilation to Vivo #15
* Implement Vivo virtual machine #17