Software Engineering
Lambdageek's user avatar
Lambdageek's user avatar
Lambdageek's user avatar
Lambdageek
  • Member for 12 years, 6 months
  • Last seen more than 5 years ago
Profile Activity
Stats
713
reputation
25k
reached
3
answers
0
questions
Communities
View all
About

Once I compiled programs.
Later I wrote proofs about programs.
Now I compile programs with proofs.

One day I hope to compile proofs and get programs.

(I want to be @pigworker when I grow up.)

#SOreadytohelp
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
8
bronze badges
Top tags
39
Score
2
Posts
67
Posts %
32
Score
1
Posts
33
Posts %
10
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
answer
32
what is the purpose of arrows?
Oct 17, 2011
answer
10
What is the most orthogonal programming language?
Aug 25, 2011
answer
7
How important are Haskell's advanced concepts like Monads and Applicative Functors for most routine programming tasks?
Jul 26, 2011
Top network posts
View all network posts
2911
Why doesn't GCC optimize a*a*a*a*a*a to (a*a*a)*(a*a*a)?
97
How to generate all pairs from two vectors in MATLAB using vectorised code?
39
Is it possible to export constructors for pattern matching, but not for construction, in Haskell Modules?
37
Where can I learn about #ifdef?
24
What does `true = false` mean in Coq?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.