Prelude/String.agda


1
2
3
4
5
6
7
8
9
10
11
12

module B.Prelude.String where

import Data.String

open Data.String
  using (String; unlines)
  public

module String where
  open Data.String
    using (_++_; fromList; toCostring; toList; toVec)
    public