He añadido a la lista Programación funcional con Haskell el vídeo Haskell con JupyterLab en el que se describe cómo hacer los ejercicios con Haskell usando JupyterLab en el navegador sin necesidad de instalación.
El vídeo es
He añadido a la lista Programación funcional con Haskell el vídeo Introducción a la programación funcional con Haskell (Parte 1 de 2) en el que se presenta cómo trabajar con Haskell en el navegador con el entorno JupyterLab.
El vídeo es
Los apuntes correspondientes son
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.
En el vídeo se comentan distintas pruebas con Lean de ejercicios sobre la aritmética de los números reales. La primera es por reescritura, la segunda es con encadenamiento de ecuaciones y las restantes son automáticas.
Los enlaces correspondientes son: a la sesión en Lean Web, al código y al libro “DAO con Lean”.
A continuación, se muestra el vídeo
En el vídeo se comentan distintas pruebas con Lean de una propiedad de la aritmética de los números reales con hipótesis. La primera es por reescritura y la segunda es con encadenamiento de ecuaciones. Las restantes son automáticas.
El enlace a la sesión es
Los enlaces correspondientes son: a la sesión en Lean Web, al código y al libro “DAO con Lean”.
A continuación, se muestra el vídeo
En el vídeo se comentan distintas pruebas con Lean de una igualdad con productos de números reales. La primera es por reescritura usando las propiedades asociativa y conmutativa, La segunda es con encadenamiento de ecuaciones. Las restantes son automáticas.
Los enlaces correspondientes son a la sesión en Lean Web, al código y al libro “DAO con Lean”.
A continuación, se muestra el vídeo