c/idris · by pangyuehung@lemmy.ml · 6yEdwin Brady introducing Idris 2: Type-driven development of Idris https://youtu.be/mOtKD7ml0NU1 points · 0 comments · view on lemmy.world
0 Comments
No comments yet.