diff options
| author | venomade <venomade@venomade.com> | 2025-03-17 14:33:35 +0000 |
|---|---|---|
| committer | venomade <venomade@venomade.com> | 2025-03-17 14:33:35 +0000 |
| commit | 5d59b1da2c1ce1726ae90a25e6b8ad41c81e0ab1 (patch) | |
| tree | 826b045dc36f6a84e7de03dee425ff5ca26a853e /.ghci | |
| parent | b87c6f3921949bcae8d9ba7d32a7c19ac70fdde1 (diff) | |
Haskelling
Diffstat (limited to '.ghci')
| -rw-r--r-- | .ghci | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.ghci b/.ghci new file mode 100644 index 0000000..31f559e --- /dev/null +++ b/.ghci @@ -0,0 +1 @@ +:set prompt "λ " |