liquidhaskell-0.8.0.2: tests/todo/AxiomBug.hs

module Nats where

{-@ poo :: {v:Int | v == 0 } @-}
poo :: Int
poo = 1

data Peano = Z

{-@ axiomatize zero @-}
zero :: Peano
zero = Z

goober :: String
goober = "I am a cat"