Skip Navigation
Log In
Sign Up
Settings
Guest
Accounts
Initials
DiceBear
https://github.com/dicebear/dicebear
https://creativecommons.org/publicdomain/zero/1.0/
„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)
ID
Idris
@lemmy.ml
pangyuehung
@lemmy.ml
4y ago
Edwin Brady introducing Idris 2: Type-driven development of Idris
1
0
0
0
comments
Hot
Top
New
Old
Controversial