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
got opus 5.5 to make a video illustrating how algorithm W infers types in hindley-milner type systems
aron22,956 Aufrufe • vor 10 Tagen
Keine weiteren Inhalte verfügbar