This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
:set +t | |
:set prompt "\x1b[35mλ \x1b[1;33m» \x1b[0m" | |
:set -XLambdaCase | |
:set -XNoStarIsType |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
---@class Wezterm | |
---@field action WeztermAction | |
---@field action_callback fun (action: fun (window: Window, pane: Pane)): Action | |
---@field config_builder fun (): Config | |
---@field font fun (font_name: string, opts?: {}): string | |
---@field font_with_fallback fun (fonts: string[]): string | |
---@field home_dir string | |
---@field mux MuxManager | |
---@field plugin PluginManager | |
local wezterm = require "wezterm" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE LambdaCase #-} | |
{-# LANGUAGE BlockArguments #-} | |
module Main where | |
import Data.Ratio ((%), Ratio) | |
seper2, | |
seper3, | |
seper4, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module Main where | |
main = do { | |
putStrLn("Hello, Haskell!"); | |
printUser(andy); | |
} | |
{- } | |
data User = User { | |
name :: String, |