Ask Different
michid's user avatar
michid's user avatar
michid's user avatar
michid
  • Member for 12 years, 1 month
  • Last seen more than a week ago
Profile Activity
Stats
889
reputation
54k
reached
1
answer
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
3
bronze badges
Top tags
78
Score
1
Posts
100
Posts %
78
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
78
Disable line wrapping for output in the Terminal
Oct 13, 2015
Top network posts
View all network posts
194
How to define "type disjunction" (union types)?
49
stack new command failing to download build plan for lts-14.1
34
The type system in Scala is Turing complete. Proof? Example? Benefits?
25
stack new command failing to download build plan for lts-14.1
18
What does "a monad is a model of computation" mean

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.