grin
grin copied to clipboard
Idris backend TODOs
- [ ] Support String literal in parser
- [ ] Handle different Int types
- [ ] Better FFI ...