https://github.com/fuuzetsu/agda-text

Agda implementation of the interface of the ‘text’ Haskell package
https://github.com/fuuzetsu/agda-text

Last synced: about 2 months ago
JSON representation

Agda implementation of the interface of the ‘text’ Haskell package

• Host: GitHub
• URL: https://github.com/fuuzetsu/agda-text
• Owner: Fuuzetsu
• License: gpl-3.0
• Created: 2014-09-19T07:50:04.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2014-10-01T15:17:04.000Z (over 11 years ago)
• Last Synced: 2025-03-24T08:57:34.889Z (11 months ago)
• Language: Agda
• Size: 160 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
Agda implementation of the interface of the ‘text’ Haskell package. It

is *not* a proof that ‘text’ is correct, it merely aims to replicate

the functionality with none of the performance.