https://github.com/tauli/idris-monadic-parser

https://github.com/tauli/idris-monadic-parser

Last synced: 3 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/tauli/idris-monadic-parser
• Owner: tauli
• License: bsd-2-clause
• Created: 2013-10-09T17:25:31.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2014-11-24T10:45:14.000Z (about 10 years ago)
• Last Synced: 2024-07-31T21:54:47.570Z (6 months ago)
• Language: Idris
• Size: 277 KB
• Stars: 6
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project

• awesome-combinator-parsers - idris-monadic-parser