manzyuk

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

open category_theory
open opposite
open polynomial

noncomputable theory

manzyuk

Keybase proof

I hereby claim:

• I am manzyuk on github.
• I am manzyuk (https://keybase.io/manzyuk) on keybase.
• I have a public key whose fingerprint is FA9F 0242 2196 03AC FDED 4C2E FFCD 7A93 6C08 6A78

To claim this, I am signing this object:

manzyuk

#lang racket
(require redex)

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

manzyuk

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

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

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

import XMonad

import XMonad.Config.Gnome

import XMonad.Layout.NoBorders

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

import Monad

manzyuk

OPTIONFILE=${OPTIONFILE:-/etc/X11/Xsession.options}
SYSRESOURCES=${SYSRESOURCES:-/etc/X11/Xresources}
USRRESOURCES=${USRRESOURCES:-$HOME/.Xresources}
SYSSESSIONDIR=${SYSSESSIONDIR:-/etc/X11/Xsession.d}
USERXSESSION=${USERXSESSION:-$HOME/.xsession}
USERXSESSIONRC=${USERXSESSIONRC:-$HOME/.xsessionrc}
ALTUSERXSESSION=${ALTUSERXSESSION:-$HOME/.Xsession}
ERRFILE=${ERRFILE:-$HOME/.xsession-errors}

manzyuk

[Desktop Entry]
Encoding=UTF-8
Name=Run .xsession script
Comment=This session runs the .xsession script
Exec=default
Type=Application