Value Of Type (@ValueOfType) profile picture

Value Of Type

@ValueOfType

GHC, THIS.

Joined September 2014
  • Tweets2.4K
  • Following106
  • Followers1K
Tell Me Something I Do Not Know
Image from Value Of Type (@ValueOfType)
2
1
5
Categories For The Working Plumber
Image from Value Of Type (@ValueOfType)
Image from Value Of Type (@ValueOfType)
3
11
Replying to @allgebrah
arxiv.org/pdf/0706.1033.pdf
Image from Value Of Type (@ValueOfType)
1
1
3
ugh what happened to the &t=1393 in youtu.be/4e9e3AtK7yg?list=PL…
1
rezk deemphasizes the role of p-typical witt vectors here youtu.be/4e9e3AtK7yg?list=PL…
1
@ValueOfType youtube.com/watch?v=Jo7lgWda…
I don't really like "proof-relevant", it is but one step in the ladder of reification. arxiv.org/abs/1402.7041
Image from Value Of Type (@ValueOfType)
1
2
weird multicolored sun twitter, origin and true purpose.
Image from Value Of Type (@ValueOfType)
1
5
me irl (thinking about category theory) youtube.com/watch?v=mTTwcCVa…
1
1
4
Image from Value Of Type (@ValueOfType)
2
1
Image from Value Of Type (@ValueOfType)
2
10
1
19
Load more