Los que quieren cambiar su prompt en ghci y este aparezca automáticamente por defecto deben hacer lo siguiente.
Crear el archivo /home/usuario/.ghci en el directorio actual de usuario con el siguiente contenido
Crear el archivo /home/usuario/.ghci en el directorio actual de usuario con el siguiente contenido
:set prompt "%s(λ)> "
Para obtener el símbolo Lambda presionamos Ctrl-Shift + U 3BB (caracter unicode) luego guardamos el archivo.
Super, no sabia como sacar el lambda. Buen dato, gracias.
ReplyDelete