Idris: The Language of Totality and Infinite Possibilities
Idris: The Language of Totality and Infinite Possibilities
Thu Nov 21, 9:43pm UTC
https://medium.com/@mwendakelvinblog/idris-the-language-of-totality-and-infinite-possibilities-a6e008037a78