Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta User
Network Profile
74
reputation
6

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, 5 months
  • 12 profile views
  • Last seen Feb 13 at 20:04

Communities (7)

Top Network Posts

Top Tags (11)

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 Understanding arguments in Haskell type classes and instances May 19 '18
0 Can this set of propositions be represented and proved in Haskell? Dec 21 '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 (6)

Gold

—

Silver

—

Bronze

6

Rarest