- The Power of Types in Idris https://www.azavea.com/blog/2019/03/11/the-power-of-types-in-idris/ 5 comments plt
- Abstract syntax tree - Wikipedia https://en.wikipedia.org/wiki/Abstract_syntax_tree 11 comments
- Read–eval–print loop - Wikipedia https://en.wikipedia.org/wiki/Read%E2%80%93eval%E2%80%93print_loop 9 comments
- Type-Driven Development with Idris https://www.manning.com/books/type-driven-development-with-idris 1 comment
Would you like to stay up to date with Computer science? Checkout Computer science Weekly.