Computer Science
Mario Román
  • Member for 7 years, 8 months
  • Last seen more than a week ago
Profile Activity
Stats
281
reputation
2k
reached
4
answers
1
question
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
5
Score
1
Posts
20
Posts %
5
Score
1
Posts
20
Posts %
4
Score
1
Posts
20
Posts %
2
Score
3
Posts
60
Posts %
2
Score
3
Posts
60
Posts %
2
Score
3
Posts
60
Posts %
Top posts
All Questions Answers
Votes Newest
5
Explanation of implication-introduction rule
Jul 28 '18
4
Haskell type class and initial algebra
Aug 1 '18
4
Building a tree with the heap property from an array and preserving its order
Nov 22 '16
1
Building a tree with the heap property from an array and preserving its order
Nov 23 '16
1
Building a tree with the heap property from an array and preserving its order
Nov 22 '16
Top network posts
View all network posts
9
How to define constant heterogeneous streams in Haskell?
8
How to efficiently animate a Graphviz graph?
7
Does Homotopy Type Theory have a computational interpretation?
7
Is $\prod_{X : \mathcal{U}} (X \to X) \cong 1$ consistent with type theory?
5
Polynomials with natural coefficients arising from exponentiation and sums

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.