[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:

View post   
>> No.8107202 [View]
File: 464 KB, 1000x1500, download (2).jpg [View same] [iqdb] [saucenao] [google]
8107202

>>8107129 #
Kolmogorov, Landau,..?

>> No.8099175 [View]
File: 464 KB, 1000x1500, download (2).jpg [View same] [iqdb] [saucenao] [google]
8099175

>>8098734
I've written down some notes on the category of all Haskell types on the nLab and here:

https://axiomsofchoice.org/Hask
https://axiomsofchoice.org/Haskell_type_system

Navigation
View posts[+24][+48][+96]