This is how I'd like to program: brianmckenna.org/blog/polymorph
11
32
83
Conversation
Oh nice - was not aware of this. Are there any other places I can read up on this? Would it translate to other systems like Coq, Idris or Lean (I've been using the latter).