Login or Register

Recent searches

No recent searches

Search options

Only available when logged in.
Vivaldi Social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Vivaldi Social is part of the Mastodon network and is hosted in Iceland by the makers of Vivaldi Browser. Everyone is welcome to join.

Administered by:

Server stats:

9.2K
active users

Vivaldi Social: AboutStatusProfiles directoryPrivacy policy

Mastodon: About · Keyboard shortcutsView source codev4.3.7+vivaldimod

mizunashi

HM 推論はもう古いこれからは双方向型検査に乗せられて、Dunfield 先生の論文さらった結果
* そんなことは特にない
* HM type system に bidirectional typing 導入できるが、そこから algorithmic typing 構築しても Algorithm W と似たようなことすることにはなる
みたいな感想しか持てんかった

Feb 09, 2023, 01:03 PM·Quiet public·TheDesk(PC)
2boosts·4favorites
ExploreLive feeds
About