Basic unit type:
λ> replTy "()"
() :: ()
Basic functions:
Basic unit type:
λ> replTy "()"
() :: ()
Basic functions:
[ Update 2025-03-24: Commenting is disabled permanently. Previous comments are archived at web.archive.org. ]
Most of the terminal emulators auto-detect when a URL appears onscreen and allow to conveniently open them (e.g. via Ctrl+click or Cmd+click, or the right click menu).
It was, however, not possible until now for arbitrary text to point to URLs, just as on webpages.
Papers I like Pt. 1 Papers I like Pt. 2
Let's start meta:
+---------------------------------------------------------------+ | |
| * * * PUSH REJECTED BY EVIL DRAGON BUREAUCRATS * * * | | |
+---------------------------------------------------------------+ | |
\ | |
\ ^ /^ | |
\ / \ // \ | |
\ |\___/| / \// .\ | |
\ /V V \__ / // | \ \ *----* | |
/ / \/_/ // | \ \ \ | | |
@___@` \/_ // | \ \ \/\ \ |