I hereby claim:
- I am fehu on github.
- I am dkovalev (https://keybase.io/dkovalev) on keybase.
- I have a public key ASC6jkjcXJdj3mGGdz30gh8gsZlZ2FKeHiiuGlskS8MQVQo
To claim this, I am signing this object:
| # Edit this configuration file to define what should be installed on | |
| # your system. Help is available in the configuration.nix(5) man page | |
| # and in the NixOS manual (accessible by running ‘nixos-help’). | |
| { config, pkgs, ... }: | |
| let | |
| all-hies = import (fetchTarball "https://github.com/infinisil/all-hies/tarball/master") {}; | |
| in { | |
| imports = |
I hereby claim:
To claim this, I am signing this object:
| import scala.language.experimental.macros | |
| import scala.reflect.macros.whitebox | |
| object MacroQuestion { | |
| def apply[F[_], A]: Any = macro impl[F, A] | |
| def impl[F[_], A](c: whitebox.Context)( | |
| implicit F: c.WeakTypeTag[F[_]], A: c.WeakTypeTag[A] | |
| ): c.Tree = { | |
| import c.universe._ |
| interp.load.ivy( | |
| "com.lihaoyi" % | |
| s"ammonite-shell_${scala.util.Properties.versionNumberString}" % | |
| ammonite.Constants.version | |
| ) | |
| @ | |
| val shellSession = ammonite.shell.ShellSession() | |
| import shellSession._ | |
| import ammonite.ops._ | |
| import ammonite.shell._ |
| import scala.language.higherKinds | |
| import shapeless._ | |
| import shapeless.ops.hlist.IsHCons | |
| /** | |
| * Type class supporting access to all the elements of this `HList`, that are lifted sub-types of `U`. | |
| * Selects all {{{ F[A] }}}, contained in the list `L`, such that {{{ A <: U }}}. | |
| */ | |
| trait CovUnliftFilter[L <: HList, F[_], U] extends DepFn1[L] with Serializable { type Out <: HList } |
| # Set background with feh | |
| ./.fehbg | |
| # Keyboard setup | |
| setxkbmap "us,ru" "altgr-intl," "grp:caps_toggle" "terminate:ctrl_alt_bksp" | |
| # Disable Natural Scrolling | |
| xinput --set-prop 13 314 0 | |
| # Enable While Typing | |
| xinput --set-prop 13 326 0 |
| Config { font = "-*-Fixed-Bold-R-Normal-*-13-*-*-*-*-*-*-*" | |
| , additionalFonts = [] | |
| , borderColor = "black" | |
| , border = TopB | |
| , bgColor = "black" | |
| , fgColor = "grey" | |
| , alpha = 255 | |
| , position = TopW L 100 | |
| , textOffset = -1 | |
| , iconOffset = -1 |
| {-# OPTIONS_GHC -w #-} | |
| import XMonad | |
| import XMonad.Util.EZConfig | |
| import XMonad.Util.NamedActions | |
| import XMonad.Util.Run(spawnPipe) | |
| import Graphics.X11.ExtraTypes.XF86 | |
| import XMonad.Layout.NoBorders |
| Section "InputDevice" | |
| Identifier "Keyboard0" | |
| Driver "kbd" | |
| EndSection | |
| Section "InputClass" | |
| Identifier "Keyboard0" | |
| MatchIsKeyboard "on" | |
| Option "XkbModel" "pc105" |
| # Edit this configuration file to define what should be installed on | |
| # your system. Help is available in the configuration.nix(5) man page | |
| # and in the NixOS manual (accessible by running ‘nixos-help’). | |
| { config, pkgs, ... }: | |
| { | |
| imports = | |
| [ # Include the results of the hardware scan. | |
| ./hardware-configuration.nix |