Hacker News new | ask | show | jobs
by DenisM 4198 days ago
What type system do you have in mind? Haskell?
1 comments
chongli 4198 days ago
Haskell is a start but I was thinking of a system with dependent types such as Coq, Agda or Idris.
link