haskie-lambda

# sudo enhancements
svim() {
  t=$(ls -l $1 | awk '{ print $3 }'); 
  if [[ "$t" == "$USER" ]]; 
  then vim $@; 
  else sudo vim $@; 
  fi 
}

# finding and opening files

haskie-lambda

Prelude> :set -XGADTs
Prelude> :set -XEmptyDataDecls 
Prelude> :{
Prelude| data List l a where
Prelude|   Nil :: List Empty a
Prelude|   (:-) :: a -> List l a -> List NE a
Prelude| :}
Prelude> 
Prelude> :set -XStandaloneDeriving 
Prelude> deriving instance (Show a) => Show (List l a)

haskie-lambda

cowcite(){
    args=(-b -d -g -L -n -N -p -s -t -w -y);
    animals=(bong bud-frogs bunny cower daemon default dragon dragon-and-cow default elephant default ghostbusters head-in default kiss kosh default milk moofasa moose mutilated default sheep skeleton stegosaurus default three-eyes turkey turtle tux default www);
    arg=${args[ $(( RANDOM % 13 )) ]};
    animal=${animals[ $(( RANDOM % 32 )) ]};
    curl -s http://bash.org/\?random |
      grep -E '<p class="qt">.*</p>' |
      head -n 1 |
      sed -E 's%.*<p class="qt">(.*)</p>.*%\1%' |
      sed -e 's/&amp;/&/g; s/\&lt;/</g; s/\&gt;/>/g; s/\&quot;/"/g; s/\&#39;/'"'"'/g' |

haskie-lambda

Installing a binary on NixOS - Wonderdraft

Install nix-ld

$ sudo nix-channel --add https://github.com/Mic92/nix-ld/archive/main.tar.gz nix-ld
$ sudo nix-channel --update

/etc/nixos/configuration.nix

haskie-lambda

Bookmarks

A collection of bookmarks covering the topics of

• functional programming with haskell
• type theory
• category theory
• formal verification
• interesting stuff for haskellers

Sites for rescources

haskie-lambda

Role0
Role1
Role2