3 ms·
"You will have to explore the solution space with the help of some sort of theorem prover (type system)." Have you tried ATS (Applied Type System)? http://en.
by ThaddeusQuay2 15y ago
"You will have to explore the solution space with the help of some sort of theorem prover (type system)."
Have you tried ATS (Applied Type System)?
http://en.wikipedia.org/wiki/ATS_(programming_language) http://en.wikipedia.org/wiki/ATS_(programming_language)
- thesz 15y agoNo, I haven't. When I looked at it, I didn't see a well-composed thing like Epigram or Agda2. So I decided to stick to Haskell for a while and then slowly work my way to Agda2, if I would feel the need.