/GADT

Generalization of algebriac data types in haskell can be very helpful. It can be useful in improving readability of code. One of the most powerful feature of haskell is static type checking. Static-type chekcing is also enable with GADT.

Primary LanguageHaskell

No issues in this repository yet.