fatho

#!/bin/bash

STUDENT_ADDRESS="<student>@students.uu.nl"
PRINT_ADDRESS="print@uu.nl"

( printf "From: $STUDENT_ADDRESS\n"
   printf "To: $PRINT_ADDRESS\n"
   printf "Subject: print job\n\n"
   for file in "$@"
   do

fatho

{-# LANGUAGE LambdaCase #-}
module Main where

import Control.Applicative
import Control.Monad
import Data.Foldable (toList)
import Data.Sequence (Seq)
import qualified Data.Sequence as Seq
import Text.Read
import Text.Printf (printf)

fatho

{- Given the defintion of the natural numbers ℕ from the standard library ... -}

open import Level using () renaming (zero to ℓ₀)
open import Data.Nat using (ℕ) renaming (_+_ to _+ℕ_; suc to nsuc; zero to nzero)
import Relation.Binary as B
import Relation.Binary.Core as B
import Relation.Binary.PropositionalEquality as P
open import Function using (flip)
open P using (_≡_)

fatho

{-# LANGUAGE LambdaCase, OverloadedStrings, RankNTypes, MultiWayIf, BangPatterns #-}
import Control.Monad
import Control.Monad.IO.Class
import qualified Data.Char as Char
import Data.Word
import Data.Monoid
import qualified Foreign.Storable as S
import Foreign.C.String
import qualified Data.Vector.Unboxed as VU
import qualified Data.Vector.Unboxed.Mutable as VUM

fatho

{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE TemplateHaskell, BangPatterns, EmptyDataDecls #-}
module D100 where

import Control.Applicative
import Control.Arrow
import Control.Lens
import Control.Monad.State
import Control.Monad.Random
import Control.Monad.Free

fatho

data Path e (i :: Nat) (j :: Nat) where
  PNil  :: Path e i i
  PNext :: e i j -> Path e j k -> Path e i k

infixr 9 ~:

(~:) :: e i j -> Path e j k -> Path e i k
(~:) = PNext

data E (i :: Nat) (j :: Nat) where

fatho

{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}

fatho

#!/bin/sh

# set environment for x session
source ~/.zsh.d/environment.zsh

# set wallpaper
~/bin/wallpaperd.sh ~/config-files/wallpaper &

source /etc/X11/xinit/xinitrc.d/30-dbus

fatho

{-# LANGUAGE DeriveFunctor, TemplateHaskell, GeneralizedNewtypeDeriving, FlexibleContexts #-}
module Threads where

import Control.Applicative
import Control.Arrow
import Control.Monad
import Control.Monad.Except
import Control.Monad.State.Class
import Control.Monad.Trans
import Control.Monad.Trans.Free

fatho

import Control.Applicative
import Control.Monad

import Data.Conduit
import qualified Data.Conduit.List as CL

newtype ListT m a = ListT { runListT :: Producer m a }

instance (Monad m) => Functor (ListT m) where
  fmap f (ListT l) = ListT (l $= CL.map f)