This repository has been archived by the owner on Sep 5, 2022. It is now read-only.

def should check its patterns' type #7

Closed

dannypsnl opened this issue Aug 16, 2021 · 0 comments

Owner

dannypsnl commented Aug 16, 2021

Or we can define something ridiculous:

(def identity : (-> Nat Nat)
  [true => z]
  [false => (s z)])

dannypsnl changed the title ~~def should check it's patterns' type~~ def should check its patterns' type

dannypsnl closed this as completed in

cdb994c

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.