Skip to content

Instantly share code, notes, and snippets.

@forked-from-1kasper

forked-from-1kasper/patt.ctt

Created May 24, 2022 17:47
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save forked-from-1kasper/cbf604a185dcd749b5685eb2fe16092a to your computer and use it in GitHub Desktop.
Save forked-from-1kasper/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