pharpend

Desbot usage manual

Top-level commands, in alphabetical order

Any aliases are listed beneath the main command.

• ~help - Show a brief help page.

  Aliases:

pharpend

title	date
Chess in Idris	17 June 2015

Introduction

This post goes over implementing Chess in Idris. [Idris][1] is an experimental programming language which tries to bring dependent types into the real world.

pharpend

Minimal Snowdrift set up instructions

This is a small tutorial on contributing to Snowdrift. You don't have to be tech savvy, but it helps. This is a minimal-ish description of what you need to do to get Snowdrift running locally and to start making and submitting updates.

Although we recommend deeper study to understand how all of this works, you can simply follow the steps below, and it will work well enough to get started.

pharpend

This is a small tutorial on contributing to Snowdrift. You don't have to
be tech savvy, but it helps. This is a minimal-ish description of what
you need to do. 

I don't really explain what I'm doing. The idea is that you can read
this and just enter the commands, and it just works without you having
to read a dozen books first.

This is assuming you use Debian testing, or some variant of Ubuntu.

pharpend

pharpend

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Hendrix where

import           Control.Applicative
import           Control.Monad
import           Data.Maybe
import           Data.Monoid

pharpend

bindsym XF86AudioMute exec amixer set Master toggle
bindsym XF86AudioLowerVolume exec amixer set Master 8%-
bindsym XF86AudioRaiseVolume exec amixer set Master 8%+
bindsym $mod+F10 exec amixer set Master toggle
bindsym $mod+F11 exec amixer set Master 8%-
bindsym $mod+F12 exec amixer set Master 8%+