Hello guys,
in this episode of my Idris series, I'll finish up with using the most basic features of the REPL and one of the most interesting type.
In the upcoming video, I'll go more into function types.
I've not gotten much feedback on steemit regarding this series - I'd be interested in your experiences, thoughts and questions regarding and dependent types in particular.
Languages in that category are Idris, Agda, Coq, F* or Lean, the last two being Microsoft projects.
Take care
