Advertisement
Guest User

Untitled

a guest
Oct 15th, 2019
81
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.32 KB | None | 0 0
  1. let RGB = { r : Natural, g : Natural, b : Natural }
  2.  
  3. let RGB/create =
  4. λ(r : Natural) → λ(g : Natural) → λ(b : Natural) → { r = r, g = g, b = b }
  5.  
  6. let RGB/show =
  7. λ(r : RGB)
  8. → "rgb(${Natural/show r.r}, ${Natural/show r.g}, ${Natural/show r.b})"
  9.  
  10. in { white = RGB/create 255 255 255, black = RGB/create 0 0 0 }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement