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

#lang racket
(require redex)

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

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

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

open category_theory
open opposite
open polynomial

noncomputable theory