Question Details

No question body available.

Tags

haskell functional-programming language-lawyer dependent-type gadt

Answers (0)

No Answers Yet

This question hasn't received any answers yet.