homebrew asked Oct 13 '11 at 8:15

haskell monads real-world-haskell asked Nov 17 '11 at 8:05

pattern-matching programming-languages agda dependent-type asked Aug 31 '16 at 1:24

homebrew asked Oct 13 '11 at 8:36

scala asked Oct 31 '11 at 4:28

haskell asked Oct 31 '11 at 22:30

pattern-matching agda dependent-type asked Sep 1 '16 at 6:28

haskell ghc template-haskell asked May 27 '15 at 9:12

scala intellij-idea asked May 10 '16 at 9:52

reference-request proofs proof-assistants asked May 18 '16 at 11:01