to customize your list.
more stack exchange communities
Start here for a quick overview of the site
Detailed answers to any questions you might have
Discuss the workings and policies of this site
what is the object oriented counterpart to haskell / coq
I have detailed information on the latest developments in functional programming. I think haskell is quite an advanced and high level programming language. With coq and agda this gets even more ...
Nov 6 '11 at 10:23
newest d haskell questions feed
Hot Network Questions
How do I repeat the last command without using the arrow keys?
Airmet Sierra for VFR flight
Why does earth cool?
How much red, blue and green does white light have?
Average time to first answer
Is any particular algebraic number known to have unbounded continued fraction coefficients?
How to ask for feedback from research students on my supervision abilities?
'Should have' in a factual sense
Why don’t humans back up their minds when they enter the Matrix?
How does a language expand itself?
Find the largest prime whose length, sum and product is prime
Alternative ways of saying "...., right?"
Should the commit history be used to convey critical information to developers?
Standard error of the sampling distribution of the mean
What makes an interval "Perfect"?
Is it better to use a root password, or use 'sudo bash'?
How to group each element with each consecutive elements in one head
DNA is charged negative. Where is all the positive charge in my body?
What would the register-machine bytecode for this code look like?
How are browsers able to find and construct an alternate trusted chain path?
What version of Python do I have?
Having something "to myself"?
Was the American Civil War the “bloodiest civil war in history”?
more hot questions
Life / Arts
Culture / Recreation
TeX - LaTeX
Unix & Linux
Ask Different (Apple)
Geographic Information Systems
Science Fiction & Fantasy
Seasoned Advice (cooking)
Personal Finance & Money
English Language & Usage
Mi Yodeya (Judaism)
Cross Validated (stats)
Theoretical Computer Science
Meta Stack Exchange
Stack Overflow Careers
site design / logo © 2014 stack exchange inc; user contributions licensed under
cc by-sa 3.0