3 ms·
Gotta mention Shen here, the language with an intentionally Turing complete type system. You can write your types as Horn clauses. http://shenlanguage.org/ htt
by lopatin 9y ago
Gotta mention Shen here, the language with an intentionally Turing complete type system. You can write your types as Horn clauses.
http://shenlanguage.org/ http://shenlanguage.org/