Juan-Carlos Gandhi (
juan_gandhi
) wrote
2015
-
05
-
17
06:09 pm
Entry tags:
lambda
,
logic
ever heard of Snm theorem?
It makes currying legal :)
http://en.wikipedia.org/wiki/Smn_theorem
(
2 comments
)
Post a comment in response:
From:
Anonymous
This account has disabled anonymous posting.
OpenID
Identity URL:
Log in?
Dreamwidth account
Account name
Password
Log in?
If you don't have an account you can
create one now
.
Subject
HTML doesn't work in the subject.
Formatting type
Casual HTML
Markdown
Raw HTML
Rich Text Editor
Message
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2015-05-17 06:09 pmjuan_gandhi) wrote2015-05-17 06:09 pm
