Posts tagged with "Idris"
- Recording of My Talk at Lambda Days 2019
- Gave a Talk: Terminating and Productive Functions
- Giving Talk on Productive and Terminating Functions
- Gave a Talk on Function Totality
- Function Totality: Abstraction Tool in Programming
- Hooked on Dependent Types
- Typed Functional Programming and Software Correctness
- Idris for Haskellers
- Typed Holes in Programming
- Totality in Programming
- Idris 1.3.0 Released
- Haskell Library Demonstrating Dependent Types in eDSL
- Gave a Talk on Types in Programming
- Announcing: Talk on the Role of Types in Programming
- Refinement Types
- Idris 1.2.0 Released
- Free Monads in Idris
- 10 Things Idris Improved over Haskell
- Writing Dependently Typed Programs in Haskell
- Liquid Haskell
- Proving Parity in Idris