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
What to do when a player dislikes his character, that is vital for the story?
Single word for shopping after comparing price and features across multiple shops and product types
Is it OK for an MSc Student to Review a Scientific Paper?
Thrust vectoring on commercial jets
Do postdoctoral studies have official certificate?
Output Pi without math
What makes it illegal to use the information learned by exploiting a bug?
Sum of binomial coefficients with three variables
Are the higher homotopy groups of the Hawaiian earring trivial?
Will Ospf advertising router id be modified during flooding?
Is this function vulnerable to SQL injection?
Counting characters in a text file using java
Algebra: What does "is defined for" mean?
How can I deal with the challenges a player having Mind-Reading represents without negating their ability?
When to use esc_html and when to use sanitize_text_field?
Do I cite books that helped me indirectly?
Can molten metal be suspended in air?
Find last n for which 2^n has a 0.
How to explain Heartbleed without technical terms?
Should I unsubscribe uninterested mailing-list members?
What should be included in a freshman 'Mathematics for computer programmers' course?
How can I avoid getting the error message Goto::nolabel in my code?
Question about conjugate points
Operational Amplifier Virtual ground
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