~jojo/Carth

3b91c3ff28e7e71f9f8dfd1f768f732cdfafd412 — JoJo 4 months ago 9aeef16
std: add show-bool, id
1 files changed, 4 insertions(+), 0 deletions(-)

M std/std.carth
M std/std.carth => std/std.carth +4 -0
@@ 62,6 62,8 @@
(extern show-nat (Fun Nat Str))
(extern show-f64 (Fun F64 Str))

(define show-bool (fmatch (case True "True") (case False "False")))

(extern str-append (Fun Str Str Str))

;;; Function


@@ 84,6 86,8 @@

(define (flip f a b) (f b a))

(define (id x) x)

(data Void)

(define: void-elim