About Me
// Hello, World !
Top Answers
Top Questions
-
OCaml equivalent to Haskell's @ in pattern matching (a.k.a. as-pattern)
8 votes2 answers
-
Bash wait terminates immediately?
4 votes2 answers
-
Rewrite hypothesis in Coq, keeping implication
2 votes3 answers