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