Programa: Simulador lambda (verso 0.5)
Autor: Rodrigo Machado
Email: rodrigomachado@unipampa.edu.br
Licena: GPLv3

O simulador lambda apresenta uma interface para experimentar com clculo lambda sem tipos. 

Principais funcionalidades:
* definio de termos lambda
* execuo de termos lambda (estratgia lazy e strict)
* visualizao da rvore representando um termo lambda

A linguagem de entrada  descrita diretamente na interface. 

Alguns exemplos de cdigo podem ser encontrados na pasta "examples"

Este programa foi desenvolvido utilizando a linguagem Haskell e biblioteca grfica GTK2.


INSTRUES DE COMPILAO:

Linux (Ubuntu/Debian)
1. Instale as ferramentas necessrias executando no terminal:
   sudo apt-get install haskell-platform libghc-gtk-dev libghc-cairo-dev
2. Entre na pasta "src"
   cd src
3. Execute o seguintes comando
   make    
4. Copie o executvel gerado para a pasta-pai (..), onde est o arquivo "lambda.ui"


Windows
1. Instale as ferramentas necessrias: Haskell Platform, GTK+ (bundle), GTK2hs 
   (instrues em www.haskell.org/gtk2hs/)
2. Entre na pasta "src"
3. Execute o comando
   ghc --make -O2 lambda.lhs -optl-mwindows
4. Copie o executvel gerado para a pasta-pai (..), onde est o arquivo "lambda.ui"


MacOS
???



CHANGELOG:

V0.2 => V0.5
- Melhor renderizador (rvores)
  - rvores tendem a ser melhor espalhadas nas direes x e y
  - uso de Pango para renderizar texto dentro das rvores
- Em nveis de zoom maiores, linhas continuam visveis
- Tratamento homogneo de fontes entre Linux/Windows
- Melhoria na organizao do cdigo-fonte

V0.1 => V0.2
- Navegao/zoom/stepper na rvore do termo via teclado e mouse
- Boto carregar termo simplificado
- Pequenos ajustes na visualizao



