User Rodrigo Ribeiro - Emacs Stack Exchange

Rodrigo Ribeiro

Member for 7 years, 10 months
Last seen more than 1 year ago

Network profile

Stats

101

reputation

0

reached

0

answers

0

questions

Communities

About

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

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

1

bronze badge

Autobiographer

Feb 5, 2016

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

15

parenthesis in Haskell functions

14

Category theory and parsers --- references wanted

13

Haskell why is [fst,snd] :: [(a,a) -> a]

11

How do I pass command line arguments to stack exec

11

How can I convince Coq that my function is in fact recursive?