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.
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.