Lambda the Ultimate

Home
Feedback
FAQ
Getting Started
Discussions
Site operation discussions
Recent Posts
(new topic)
Departments
Courses
Research Papers
Design Docs
Quotations
Genealogical Diagrams
Archives

User login

Username:

Password:

Create new account
Request new password

Navigation

recent posts

Browse archives

« February 2017 »
Su	Mo	Tu	We	Th	Fr	Sa
			1	2	3	4
5	6	7	8	9	10	11
12	13	14	15	16	17	18
19	20	21	22	23	24	25
26	27	28

Active forum topics

A refutation of Gödel's first incompleteness theorem
Any thoughts on WanaDecrypt0r?
Finding Solutions vs. Verifying Solutions
SW verification continues
Prove: 'Cont r a = (a -> r) -> r' forms a monad

more

New forum topics

SW verification continues
Finding Solutions vs. Verifying Solutions
the type of eval in Shen
Any thoughts on WanaDecrypt0r?
Prove: 'Cont r a = (a -> r) -> r' forms a monad