aron's banner
aron's profile picture

aron

@Aron_Adler • 2,888 subscribers

⊙ functional programming · dependent types · Lean. i sometimes stream on https://t.co/NE9ol9kM96. DM me about exotic type systems 🗨️

Videos

LIVE
1.2k

Anya Rossi

sweetdream.ai

SweetDream.aiSponsored•Livecam
Streaming Now

Watch Anya Live

Anya is streaming live right now! Join her private show and enjoy exclusive content.

HD live stream
Exclusive private shows
1.2k viewers online

Free preview available • Premium content

got opus 5.5 to make a video illustrating how algorithm W infers types in hindley-milner type systems
4:37
Aron_Adler's profile picture

got opus 5.5 to make a video illustrating how algorithm W infers types in hindley-milner type systems

aron

22,956 次观看 • 10 天前

没有更多内容可加载