lean4-htt/tests/lean/char_lits.lean
2017-03-23 14:29:07 -07:00

12 lines
217 B
Text

import system.io
open io
#check #"a"
#eval #"a"
#eval #"\n"
#eval #"\\"
variable [io.interface]
#eval put_str (list.cons #"\\" "aaa")
#eval put_str [#"\n"]
#eval put_str [#"\n"]
#eval put_str (list.cons #"\'" "aaa")