SpiceQA
Questions Tags Users Badges
user_242189
user_242189
@user_242189
0 reputation
0 answers
52 questions
About Me
// Hello, World !
Top Answers
  1. Proof-tree from instance search in haskell
    1 votes
  2. Indexed Initial algebras for GADTs
    0 votes
  3. Adding a new entry to the PATH variable in ZSH
    0 votes
  4. `refold :: Functor s => (a -> s a, a) -> (s b -> b) -> b` as a morphism between universal types
    0 votes
  5. deriving Applicative in haskell
    0 votes
Top Questions
  1. max of f64 in Rust
    8 votes
    5 answers
  2. Can not deduce superclass
    7 votes
    1 answers
  3. System wide bindingRedirect for F# 4.0.0.0 to 4.3.0.0
    6 votes
    2 answers
  4. let rec for values and let rec for functions in ocaml
    6 votes
    1 answers
  5. Indexed Initial algebras for GADTs
    6 votes
    2 answers
Terms of service Privacy policy
Powered by Answer