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