Vinz

Vinz has asked 7 questions and find answers to 34 problems.

Stats

About

Vinz questions

Lexer/parser to generate Scala code from BNF grammar
Damas-Hindley-Milner type inference algorithm implementation
How to "debug" Haskell with printfs?

Vinz answers

Sum of exponents with same base
Error in defining Ackermann in Coq
In coq, how to do "induction n eqn: Hn" in a way that doesn't mess up the inductive hypothesis?
How to apply a function once during simplification in Coq?
How to add to both sides of an equality in Coq
Defining constants using existence proofs in Coq
Is equality decidable on any coinductive type?
Why 'intuition' works in the example of Coq?
Help with a Coq proof for SubSequences
How to automatically generate "good" names when decomposing existential hypothesis