agda/examples/outdated-and-incorrect/Alonzo/RTN.hs

{-# OPTIONS -fglasgow-exts #-}

-- Generated by Alonzo

module RTN where
import RTS
name1 = "Nat"

data T1 a = C2
          | C3 a
d1 = ()
name2 = "zero"
name3 = "suc"