msullivan/networks-project — Issue #4: Typed front-end language
Author: cangiuli
Created: 2012-01-17 16:09:50+00:00
State: open

Use phantom types, GADTs, etc. to allow type-checking the front-end language (by Haskell). Would be ideal if it was impossible to output C code which fails to compile.