manzyuk

import algebra.category.CommRing
import category_theory.yoneda
import data.polynomial.algebra_map

open category_theory
open opposite
open polynomial

noncomputable theory

manzyuk

#lang racket
(require redex)

(define-language λT
  ;; Terms
  (e x
     (λ (x) e)
     (e e)
     0
     (+ e ...)

manzyuk

import Data.Array
import Data.Char
import Data.List
import Data.Maybe
import Data.Ord

import Control.Applicative

import System.Environment
import System.IO.Unsafe

manzyuk

41
.............
.............
.............
...AAAA......
...AAAA......
...AAAA......
.......BBB...
.......BBB...
.......BBB...

manzyuk

import Control.OldException(catchDyn,try)
import XMonad.Util.Run
import Control.Concurrent
import DBus
import DBus.Connection
import DBus.Message
import System.Cmd
import XMonad
import XMonad.Config.Gnome
import XMonad.Hooks.DynamicLog

manzyuk

// Set the number of snowflakes (more than 30 - 40 not recommended)
var snowmax=120

// Set the colors for the snow. Add as many colors as you like
var snowcolor=new Array("#b9dff5","#b9dff5","#b9dff5","#b9dff5","#b9dff5")

// Set the fonts, that create the snowflakes. Add as many fonts as you like
var snowtype=new Array("Times")

// Set the letter that creates your snowflake (recommended: * )

manzyuk

#!/usr/bin/env bash
xsetroot -display $DISPLAY -cursor_name 'left_ptr'
synclient MaxTapTime=0 HorizEdgeScroll=1
amixer -q -c 0 sset Master 100%,100% unmute
xmobar $HOME/.bottom_xmobarrc &
xmodmap $HOME/.Xmodmap
exec xmonad

manzyuk

#!/usr/bin/env bash

OUTPUT=`amixer sget Master | tail -1`
VOLUME=`echo $OUTPUT | sed -r 's/.*\[([0-9]*)%\].*/\1/' | awk '{printf "%3s",$1}'`
STATUS=`echo $OUTPUT | sed -r 's/.*\[(on|off)\].*/\1/'`

if [[ "$STATUS" == "off" ]]
then
    echo "<fc=#8888FF>VOL:</fc> $VOLUME% <fc=red>Off</fc>"
else

manzyuk

Config { font = "-*-terminus-medium-r-normal-*-14-*-*-*-*-*-*-*"
       , bgColor = "black"
       , fgColor = "grey"
       , position = Bottom
       , lowerOnStart = True
       , commands = [ Run MultiCpu
                          [ "-a", "l"
                          , "-w", "4"
                          , "-t", "<fc=#8888FF>CPU0:</fc> <total0> <fc=#555555>|</fc> <fc=#8888FF>CPU1:</fc> <total1>"
                          , "-L", "50"

manzyuk

import XMonad

import XMonad.Config.Gnome

import XMonad.Layout.NoBorders

import XMonad.Hooks.ManageDocks
import XMonad.Hooks.ManageHelpers

import Monad