Pastebin
API
tools
faq
paste
Login
Sign up
SHARE
TWEET
Untitled
a guest
Jun 21st, 2018
66
0
Never
Add comment
Not a member of Pastebin yet?
Sign Up
, it unlocks many cool features!
text
0.18 KB
| None
|
0
0
raw
download
clone
embed
print
report
type λ_T[T] = T => T
type λ_λ_T[T] = λ_T[T] => T => T
def λfalse[T]: λ_λ_T[T] = (s: λ_T[T]) => (z: T) => z
def λtrue[T]: λ_λ_T[T] = (s: λ_T[T]) => (z: T) => s
Add Comment
Please,
Sign In
to add comment
Public Pastes
🤑 G2A.com Free Gift Card Guide May 2024 FIX 🤑
GetText | 1 min ago | 0.39 KB
Untitled
C# | 36 min ago | 2.97 KB
Dungeon Teleporter
Lua | 53 min ago | 4.94 KB
Pastebin.ai - #1 pastebin alternative
PHP | 59 min ago | 0.84 KB
🤑 G2A.com Free Gift Card Guide May 2024 FIX 💰
GetText | 1 hour ago | 0.38 KB
Untitled
C | 1 hour ago | 1.40 KB
RPM Counter by IR and BT on ESP32
C++ | 1 hour ago | 4.89 KB
vue
JavaScript | 1 hour ago | 1.24 KB
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the
Cookies Policy
.
OK, I Understand
Not a member of Pastebin yet?
Sign Up
, it unlocks many cool features!