Computer Science
Meta user
Network profile
74
reputation
7

Patrick Browne

Apparently, this user prefers to keep an air of mystery about them.

0
answers
9
questions
~1k
people reached
  • Member for 1 year, 11 months
  • 16 profile views
  • Last seen Aug 4 at 14:57

Communities (7)

Top network posts

Top tags (12)

Score 0
Posts 7
Posts % 78
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (9) All Questions Answers | Votes Newest

5 Can the semantics of a numeric hierarchy be faithfully represented in Haskell? Nov 24 '17
3 Relating a proof to a Haskell program Sep 22 '18
3 Does a Haskell program count as an inductive proof? Oct 19 '17
1 Does this Haskell code represent a decision procedure for a theorem? Dec 6 '18
1 Haskell type class and initial algebra Aug 1 '18
0 Can this set of propositions be represented and proved in Haskell? Dec 21 '18
0 Understanding arguments in Haskell type classes and instances May 19 '18
0 Could the execution of a Haskell program be considered as a proof using equational reasoning Oct 20 '17
0 Haskell type classes as ontological categories May 26 '18

Badges (7)

Gold

—

Silver

—

Bronze

7

Rarest