Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Updated prelude

Browse source
This commit is contained in:
sebastianselander 2023-05-08 21:04:22 +02:00
parent 5a7332f3a8
commit 476d566468
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/Main.hs
View file

@ -203,9 +203,13 @@ prelude =
, "printChar : Char -> Unit"
, "printChar = \\x. Unit"
, "\n"
, "flipConst : a -> b -> a"
, "flipConst x y = y"
, "\n"
, "printStr : List Char -> Unit"
, "printStr xs = case xs of"
, " Nil => Nil"
, " Cons x xs => Cons (printChar x) (printStr xs)"
, " Nil => Unit"
, " Cons x xs => flipConst (printChar x) (printStr xs)"
, "\n"
, "data List a where"
, " Cons : a -> List a -> List a"