From 5eed5fbcd1b813def38b8a9b54019d92087b2a6d Mon Sep 17 00:00:00 2001
From: sebastianselander <sebastian.selander@gmail.com>
Date: Thu, 25 May 2023 11:23:30 +0200
Subject: [PATCH] quicksort ready for demo

---
 demo/quicksort.crf | 104 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 104 insertions(+)

diff --git a/demo/quicksort.crf b/demo/quicksort.crf
index e97af3a..3dd1677 100644
--- a/demo/quicksort.crf
+++ b/demo/quicksort.crf
@@ -23,6 +23,110 @@ filter p xs = case xs of
         True => Cons x (filter p xs)
         False => filter p xs
 
+.++ : List a -> List a -> List a
 .++ list1 list2 = case list1 of
     Nil => list2
     Cons x xs => Cons x (xs ++ list2)
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+printListH : List Int -> Unit
+printListH xs = case xs of
+    Cons a as => flipConst (printInt a) (printListHH as)
+    Nil => Unit
+
+printListHH : List Int -> Unit
+printListHH xs = case xs of
+    Nil => Unit
+    Cons a as => flipConst (printChar ',') (flipConst (printInt a) (printListHH as))
+
+printList : List Int -> Unit
+printList xs = case Cons (printChar '[') (Cons (printListH xs) (Cons (printChar ']') Nil)) of
+        _ => Unit
+
+flipConst x y = y
+
+
+printInt : Int -> Unit
+printInt xs = Unit
+
+printChar : Char -> Unit
+printChar = \x. Unit
+
+data Unit where
+    Unit : Unit