-
JavaScript: Hand-written JavaScript.
-
Idris-codegen-es: Idris 1.0 with idris-codegen-es.
-
Idris (Official JS): Idris 1.0 with official JavaScript Codegen.
-
PureScript: Using Latest PureScript.
-
PureScript (Uncurried): Latest PureScript with
Data.Function.Uncurry
. -
Idris (C): Idris 1.0 with C codegen on Windows x64.
-
C: Hand-written JavaScript, compiled with gcc 6.2.0, with Win64 settings and
-O3
.
This page is intended to help you set up a more functional sway desktop environment. Features that will be covered:
- Manual and automatic screen locking using
swayidle
andswaylock
- Working notifications with
mako
. - Nice application launcher and exit menu using
fzf
andkitty
- Taking of screenshots, optionally selecting a region, using
grim
andslurp
- Volume control with multimedia keys
- Laptop screen brightness adjustment using
brightnessctl
and bound to keyboard keys