data Free f a = Pure a | Free (f (Free f a))
⊢ V : C ✓
classical logic corresponds to the mechanism of first-class continuation under the Curry-Howard isomorphism
all partial functions are computable
1 Post
17 Comments
Joined 1 year ago
Cake day: May 30th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.