Snippets tagged gadt
-
Type Safe Higher-order abstract syntax
Type Safe Higher-order abstract syntax via GADT encoding
4 people like this
Like the snippet!Posted: 11 years ago by Nick Palladinos
-
A GADT in F#
Just an example of a GADT in F#.
1 people like this
Like the snippet!Posted: 4 years ago by Bryan Edds