kosmikus/indexed — pull request #1 by stevenkeuchel (2012-04-23 21:13:54+00:00)
Title: Haskell datakinds

Andres, Pedro,

I was able to write conversions functions for bools, naturals and lists. See my commit.

--
Steven