Resultados da pesquisa a pedido "idris"
Função auxiliar para determinar se Nat `mod` 5 == 0
Xash [https://stackoverflow.com/users/5786950/xash]me forneceu uma resposta útil sobreFunção para determinar se Nat é divisível por 5 no tempo de ...
Função para determinar se Nat é divisível por 5 no tempo de compilação
UsandoCacto [https://stackoverflow.com/users/477476/cactus]é útilresponda [https://stackoverflow.com/a/36465477/409976], Tentei escrever uma função que, dada umaNat, retornará issoNat se é divisível por5. onlyModBy5Helper : (n : Nat) -> (k : Nat ...
Restringindo um argumento de função em uma interface
Qual é a sintaxe para restringir um argumento de função em uma interface que aceita uma função? Eu tentei: interface Num a => Color (f : a -> Type) where defs...Mas diz oName a is not bound in interface...