https://github.com/gallais/idris-tparsec

TParsec - Total Parser Combinators in Idris
https://github.com/gallais/idris-tparsec

idris parser-combinators

Last synced: about 1 month ago
JSON representation

TParsec - Total Parser Combinators in Idris

• Host: GitHub
• URL: https://github.com/gallais/idris-tparsec
• Owner: gallais
• License: gpl-3.0
• Created: 2017-11-18T13:17:53.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2023-08-07T07:11:41.000Z (over 1 year ago)
• Last Synced: 2024-10-16T13:24:57.873Z (3 months ago)
• Topics: idris, parser-combinators
• Language: Idris
• Homepage: https://gallais.github.io/idris-tparsec/
• Size: 244 KB
• Stars: 93
• Watchers: 8
• Forks: 10
• Open Issues: 11
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
TParsec - Total Parser Combinators in Idris

===========================================

This is a port of [agdarsec](https://github.com/gallais/agdarsec) to Idris.