6
In Haskell GHCI ist es möglich (und wie) ein Lambda-Symbol in der Eingabeaufforderung zu erhalten, zum Beispiel wie dieseHaskell GHCi Lambda-Symbol in Prompt
λ>
Mit Linux Ubuntu Terminal.
A
Antwort
9
Der Befehl, nach dem Sie suchen, lautet :set prompt. Folgen Sie dem, was immer Sie wollen. Sie können dies in .ghci setzen, glaube ich.
:set prompt "λ> "
:set prompt2 "λ| "
8
Sie können den folgenden Befehl verwenden, um die Lambda-Zeichen zu verwenden:
:set prompt "\x03BB: "
+0
Ausgezeichnet, danke :) – elm
+0
Oder etwas wie ': set Prompt"% s \ n \ x03BB "", wenn Sie die geladenen Module in der ersten Zeile sehen möchten, und die 'λ' in der zweiten Zeile. –
Dank einen Haufen, ist es möglich, Unicode in Satz prompt zum Beispiel für Wert 03BB zu verwenden, das das Lamda-Symbol bezeichnet? – elm
Um MathematicalOrchids Antwort hinzuzufügen, sollten Sie die folgenden zwei Zeilen in Ihre '.ghci' Datei schreiben:': set prompt "λ>" ',': set prompt2 "λ |" '. – Jubobs
'Q: Aber wo stelle ich die .ghci-Datei?' A: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci-dot-files.html –