Changing GHCi Prompt


It’s not at all necessary, but it looks super cool to quote The Venture Bros.

Add this line to ~/.ghc/ghci.conf:

:set prompt "λ> "

After all, Lambda is the Ultimate.

Related Posts

I finally have an answer to "who's your favorite singer?"

My Top Tip for Helping People Get Started Programming

GPT-f

Random paper on angles

An Image is Worth 16x16 Words

Random stuff

Lossless Data Compression with Neural Networks by Fabrice Bellard

Downscaling Numerical Weather Models With GANs (My CI 2019 Paper)

Learning Differential Forms and Questions

PyTorch Lightning is worth using