homebrew asked Oct 13, 2011 at 8:15

pattern-matching programming-languages agda dependent-type asked Aug 31, 2016 at 1:24

haskell monads real-world-haskell asked Nov 17, 2011 at 8:05

scala asked Oct 31, 2011 at 4:28

pattern-matching agda dependent-type asked Sep 1, 2016 at 6:28

homebrew asked Oct 13, 2011 at 8:36

haskell asked Oct 31, 2011 at 22:30

haskell ghc template-haskell asked May 27, 2015 at 9:12

scala intellij-idea asked May 10, 2016 at 9:52

reference-request proofs proof-assistants asked May 18, 2016 at 11:01