Rodrigo Ribeiro

Rodrigo Ribeiro has asked 17 questions and find answers to 10 problems.

Stats

About

Type theorist wanna be... Like logics, theorem proving, chess, beer and bacon!

Rodrigo Ribeiro questions

Typed abstract syntax and DSL design in Haskell
Problems with dependent types in Coq proof assistant
Stuck on a simple proof about regular expressions
Formalising regular expressions with a complement operation
Proving a rather simple theorem in Haskell
Problems in defining an applicative instance
Trouble to understand Agda's Coinduction
Type safe lookup on heterogeneous lists in Haskell
Strange error message with Idris interfaces
How do I pass command line arguments to stack exec

Rodrigo Ribeiro answers

How to simplify A + 0 > 0 into A > 0?
Dependent types [closed]
How can I convince Coq that my function is in fact recursive?
The useful application of Functor's Product and Coproduct
Haskell why is [fst,snd] :: [(a,a) -> a]
parenthesis in Haskell functions
Why Left Identity over "Addition" is trivial proof but Right Identity is not?
Impossible patterns in Idris
Lifting a type to higher universe