Tour
About Us
Meta
Loading…
Log in
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Stack Exchange
All Sites
Top Users
Digests
Steven Shaw
Brisbane, Australia
https://steshaw.org/
Loves programming languages
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
49
votes
multiple side-by-side versions with Homebrew?
homebrew
asked Oct 13 '11 at 8:15
stackoverflow.com
37
votes
Should I avoid using Monad fail?
haskell
monads
real-world-haskell
asked Nov 17 '11 at 8:05
stackoverflow.com
34
votes
What is Axiom K?
pattern-matching
programming-languages
agda
dependent-type
asked Aug 31 '16 at 1:24
stackoverflow.com
15
votes
Prevent warning about Macports/Fink installation
homebrew
asked Oct 13 '11 at 8:36
stackoverflow.com
15
votes
What's a “diverging implicit expansion” scalac message mean?
scala
asked Oct 31 '11 at 4:28
stackoverflow.com
13
votes
Why does this Haskell code not terminate?
haskell
asked Oct 31 '11 at 22:30
stackoverflow.com
11
votes
Is Agda without K less powerful?
pattern-matching
agda
dependent-type
asked Sep 1 '16 at 6:28
stackoverflow.com
10
votes
What are the differences between inline-c and language-c-inline?
haskell
ghc
template-haskell
asked May 27 '15 at 9:12
stackoverflow.com
8
votes
Do Scala type lambdas cost of a reflective call?
scala
intellij-idea
asked May 10 '16 at 9:52
stackoverflow.com
6
votes
Where is the quote “Informal proofs are algorithms, formal proofs are code” from?
reference-request
proofs
proof-assistants
asked May 18 '16 at 11:01
cstheory.stackexchange.com
1
2
next
Top Answers
59
How can colored terminal output be disabled for sbt/play?
stackoverflow.com
35
Get the short Git version hash
stackoverflow.com
32
What are some good introductory books on type theory?
cstheory.stackexchange.com
18
Can I trick GitHub into displaying the PDF in the browser instead of downloading it?
webapps.stackexchange.com
10
How to stop main from terminating
stackoverflow.com
9
What are the similarities and differences between Scala Transducers and Clojure Transducers?
stackoverflow.com
9
How do I get stack to use dynamic linking?
stackoverflow.com
9
Konsole keyboard shortcut for switching between active Split View?
stackoverflow.com
7
Short way to write (\(x, y) -> (f x, g y))
stackoverflow.com
5
Stack with Travis CI
stackoverflow.com
5
How to upgrade PostgreSQL from version 9.6 to version 10.1 without losing data?
stackoverflow.com
Stack Exchange works best with JavaScript enabled