add support for go language

stefan-hoeck / idris2-hedgehog

An Idris port of the Haskell Hedghog library

BSD 2-Clause "Simplified" License

32 stars 3 forks source link

Closed kbertalan closed 1 year ago

kbertalan commented 1 year ago

Enable using hedgehog with the go backend.

I have tested this change with the latest idris2-go version by running idris2-json tests.

stefan-hoeck commented 1 year ago

Thanks for this!