In Haskell ghci è possibile (e come) per ottenere un simbolo lambda nel prompt, per esempio come questoHaskell ghci simbolo lambda in pronta
λ>
Utilizzando terminale Linux Ubuntu.
In Haskell ghci è possibile (e come) per ottenere un simbolo lambda nel prompt, per esempio come questoHaskell ghci simbolo lambda in pronta
λ>
Utilizzando terminale Linux Ubuntu.
Il comando che stai cercando è :set prompt
. Seguilo da quello che vuoi che sia il prompt. Puoi metterlo in .ghci
, credo.
:set prompt "λ> "
:set prompt2 "λ| "
È possibile utilizzare il seguente comando per utilizzare il carattere lambda:
:set prompt "\x03BB: "
Eccellente, grazie :) – elm
O qualcosa come: set prompt "% s \ n \ x03BB" 'se vuoi vedere i moduli caricati sulla prima riga, e' λ 'sulla seconda riga. –
Grazie mucchio, è possibile utilizzare unicode nel prompt dei set, ad esempio per il valore 03BB che denota il simbolo Lamda? – elm
Per aggiungere alla risposta di MathematicalOrchid, dovresti scrivere le seguenti due righe nel tuo file '.ghci':': set prompt "λ>" ',: set prompt2" λ | "'. – Jubobs
'Q: Ma dove inserisco il file .ghci?' A: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci-dot-files.html –