3 ms·
no. in idris you can declare a functions that takes integers less than five, and if you write code that can eve theoretically allow that function to get called
by jackmott 10y ago
no. in idris you can declare a functions that takes integers less than five, and if you write code that can eve theoretically allow that function to get called with 5 or greater you get a compiler error. things like that