Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.
Estoy practicando Idris y quiero obtener una lista de rebanadas de un vector. Primero, definí la siguiente función window que devuelve m elementos a partir del índice i (es decir, xs [i:i + m]): import Data.Vect <p>window : (i : Nat) -> (m : Nat) -> Vect (i + (m . . . Read more
Soy un traductor de español que traduce documentos de TI. Traduzca lo siguiente al español. No traduzca el código y la salida con markdown. Soy nuevo en Coq y me preguntaba cuál es la diferencia entre las siguientes cosas: Clase prueba (f g: nat – & gt; nat): = { . . . Read more