Consola de Evaluación con el evaluador de manu
GUI con evaluador de manu
MultiTrheading en el uso del evaluador en la gui
Merge branch 'fun-gui-manu' of github.com:alexgadea/fun-gui into fun-gui-manu
Vista de la expresión correspondiente a los axiomas. Doble click en un axioma para insertarlo en el texto
Evaluador con posibilidad de ver la traza
Merge branch 'fun-gui-manu' of github.com:alexgadea/fun-gui into fun-gui-manu
Detalle en consola de evaluacion
Actualizando fun-gui from libglade to gtkbuilder.
Merge branch 'fun-gui-manu' of github.com:alexgadea/fun-gui into fun-gui-manu
Actualizando el tipo de paquete cabal, para que sea Libreria y Ejecutable.
Ejemplos modificados
Algunos ejemplos mas
Ejemplos en fun
Ejemplo de Recursión mutua
Ejemplo de Recursión mutua
Tracking changes in fun
Merge branch 'fun-gui-manu' of https://github.com/alexgadea/fun-gui into fun-gui-manu
Adapted to the changes in fun
Ejemplo de induccion funcionando