7 lines
102 B
Racket
7 lines
102 B
Racket
#lang s-exp "cur-redex.rkt"
|
|
(require "sugar.rkt")
|
|
|
|
(data nat : Type
|
|
(z : nat)
|
|
(s : (-> nat nat)))
|