HoldMyType- main :: [Response]

λα.λy.y : Πα:mono.Πy:α.α (small types)
given predicates {P_i} Imagine a computation C st \forall P_i :T => C=> T
if f :: t then f ℛ(t) f

  • 1 Post
  • 18 Comments
Joined 1 year ago
cake
Cake day: May 30th, 2023

help-circle