extend the schema capabilities
Open
- Dominant language
- Idris
- Stars
- 38
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
matching strings against regexes or support for sum types
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.