/
lemmy.ml
Explore
Create
"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.com
Initials
Florian Körner
https://github.com/dicebear/dicebear
ID
Idris
pangyuehung
•
4 years ago
•
100%
Edwin Brady introducing Idris 2: Type-driven development of Idris
youtu.be
1
0
Comments
0