Skip to content

Instantly share code, notes, and snippets.

@rzrn

rzrn/patt.ctt

Created May 24, 2022 17:47
Show Gist options
  • Save rzrn/cbf604a185dcd749b5685eb2fe16092a to your computer and use it in GitHub Desktop.
Save rzrn/cbf604a185dcd749b5685eb2fe16092a to your computer and use it in GitHub Desktop.
Download ZIP
Funny bug in cubicaltt
Raw
patt.ctt
module patt where
data nat
= zero
| succ (n : nat)
natToZero : nat -> nat = split
zero ha ha ha -> zero
succ cubicaltt is a w e s o m e -> zero
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment