remove stray dbg

This commit is contained in:
Folkert 2023-06-14 13:15:07 +02:00 committed by Ayaz Hafiz
parent 9b0cc2a5fd
commit daaa1a3720
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -51,7 +51,6 @@ safe = \queen, diagonal, xs ->
length : ConsList a -> I64 length : ConsList a -> I64
length = \xs -> length = \xs ->
dbg "length"
lengthHelp xs 0 lengthHelp xs 0
lengthHelp : ConsList a, I64 -> I64 lengthHelp : ConsList a, I64 -> I64