These packages allow us to automatically convert type-level Servant representations of APIs to concrete term-level representations, and then use those representations for testing.
See the package READMEs for more detail:
| Name | Name | Last commit date | ||
|---|---|---|---|---|
These packages allow us to automatically convert type-level Servant representations of APIs to concrete term-level representations, and then use those representations for testing.
See the package READMEs for more detail: