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 cross browser is <a ping>?
Does "attacks" in effect text refer to attempted or only successful attacks?
Descriptive diagram with direction
When deploying a single server on new hardware, do you virtualize it or not?
"He fell (off / from / away / down) the ladder"
Is shutdown.exe necessary to shutdown Windows?
Why does my regular expression work in X but not in Y?
Is it possible to optain clips or transcripts from previous Oscar ceremonies? (38th to be speciffic)
How should I tell a coworker their headphones are too loud?
How do you politely ask for someone's gender?
find sum of the series
Why does a processor have 32 registers?
"people don’t know what they want until you show it to them"
Which application does the vi command open?
What is the equivalent of sub/super sonic for the speed of light?
How can I separate each item from a franchise pack if I gifted it to myself?
Alternative ways to say "I cannot answer that question"?
Would Gandalf have been promoted to the white if he had not fought the Balrog?
Why does exclamation mark within double quotes cause a Bash error?
How to show an object in the 3D View as a specific color?
From Whence do we derive that Jews must span the political spectrum?
Why are commercial flights not equipped with parachutes?
Static final int vs static int
Trolling the troll
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 Overflow
Stack Overflow Careers
site design / logo © 2014 stack exchange inc; user contributions licensed under
cc by-sa 3.0