3 ms·What type system do you have in mind? Haskell?by DenisM 12y agoWhat type system do you have in mind? Haskell?chongli 12y agoHaskell is a start but I was thinking of a system with dependent types such as Coq, Agda or Idris.