Resultados de la búsqueda a petición "idris"
(xs: Vect n elem) -> Vect (n * 2) elem
El libroDesarrollo dirigido por tipo con Idris [https://www.manning.com/books/type-driven-development-with-idris]presenta este ejercicio: Defina un posible método que se ajuste a la firma: two : (xs : Vect n elem) -> Vect (n * 2) elem Lo ...
Idris: ¿Es posible reescribir todas las funciones usando "con" para usar "case" en lugar de "with"? Si no, ¿podría dar un ejemplo contrario?
En Idris, ¿es posible reescribir todas las funciones usando "con [http://docs.idris-lang.org/en/latest/tutorial/views.html]"usar" case "en lugar de" with "? Si no, ¿podría dar un ejemplo contrario?