2 ms·
Related to this, Idris has a totality checker. It does not require totality, however. http://docs.idris-lang.org/en/latest/tutorial/theorems.html#directives-an
by thecity2 10y ago
Related to this, Idris has a totality checker. It does not require totality, however.
http://docs.idris-lang.org/en/latest/tutorial/theorems.html#directives-and-compiler-flags-for-totality http://docs.idris-lang.org/en/latest/tutorial/theorems.html#...