Buen dia
Como no me permitía contestar la publicación en el foro de Novedades, creo este hilo para poner nuestra elección de tema.
Grupo E
Tema: Elixir
En respuesta a Maximiliano Diaz Burgueño
Re: Elección de tema de presentacion
Buenas,
Grupo O
Tema: Idris
Grupo O
Tema: Idris
En respuesta a Eliana Rosselli Orrico
Re: Elección de tema de presentacion
Buenas!
Yo no anoté pero tenía ganas de hablar de agda que tiene bastantes cosas en común con idris.
Se animan a decirme de qué pensaban hablar más o menos? Así veo si elijo otra cosa o si pensábamos tratar temas suficientemente distintos y todo bien.
Saludos!
Yo no anoté pero tenía ganas de hablar de agda que tiene bastantes cosas en común con idris.
Se animan a decirme de qué pensaban hablar más o menos? Así veo si elijo otra cosa o si pensábamos tratar temas suficientemente distintos y todo bien.
Saludos!
En respuesta a Julian Tricanico Gadea
Re: Elección de tema de presentacion
Hola,
Todavía no lo tenemos del todo definido pero estábamos pensando en concentrarnos en el sistema de tipos dependientes y el chequeador de totalidad/asistente de pruebas.
Saludos
Todavía no lo tenemos del todo definido pero estábamos pensando en concentrarnos en el sistema de tipos dependientes y el chequeador de totalidad/asistente de pruebas.
Saludos
En respuesta a Eliana Rosselli Orrico
Re: Elección de tema de presentacion
Ta, para no complicar mejor elijo otro tema, jeje.
Le comenté a Alberto y Mónica y me dicen que esos dos temas que eligieron podrían ser demasiado, aviso. Suerte!
Le comenté a Alberto y Mónica y me dicen que esos dos temas que eligieron podrían ser demasiado, aviso. Suerte!
En respuesta a Maximiliano Diaz Burgueño
Re: Elección de tema de presentacion
Buenas,
Grupo J
Tema: Haskore
Grupo J
Tema: Haskore
En respuesta a Maximiliano Diaz Burgueño
Re: Elección de tema de presentacion
Hola,
Grupo F
Clojure/ ClojureScript
Grupo F
Clojure/ ClojureScript
En respuesta a Maximiliano Diaz Burgueño
Re: Elección de tema de presentacion
Hola.
Grupo L
Tema: Dominios de Scott
Grupo L
Tema: Dominios de Scott
En respuesta a Maximiliano Diaz Burgueño
Re: Elección de tema de presentacion
Grupo T
Foldable - Traversable
Foldable - Traversable
En respuesta a Maximiliano Diaz Burgueño
Re: Elección de tema de presentacion
Hola,
Grupo C
Tema: Biblioteca grenade para Haskell
Grupo C
Tema: Biblioteca grenade para Haskell
No puedo presentar el viernes 25 por coincidencia con el parcial de intro pln.
Buenas,
Grupo R
Tema: Plutus en la plataforma Cardano
Grupo R
Tema: Plutus en la plataforma Cardano