"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearID
Idris pangyuehung 4 years ago 100%

Edwin Brady introducing Idris 2: Type-driven development of Idris

youtu.be
1
0
Comments 0