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.
fuuzetsu / agda-text Goto Github PK
View Code? Open in Web Editor NEWAgda implementation of the interface of the ‘text’ Haskell package
License: GNU General Public License v3.0