Idris2Doc : Language.JSON.String

Index

Language.JSON.String

permissiveStringLit : Lexer: Totality: total
stringValue : String -> Maybe String: Totality: total

Produced by Idris 2 version 0.5.0-9964fee09