Skip to content

Instantly share code, notes, and snippets.

View haskie-lambda's full-sized avatar
:octocat:
fix error :: ⊥

Echo Lex haskie-lambda

:octocat:
fix error :: ⊥
10 followers · 1 following
  • Vienna
View GitHub Profile
@haskie-lambda
haskie-lambda / zsh-search-utilities.sh
Last active July 23, 2021 09:53
zsh-search-utilities specialized for haskell for .zshrc
# 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
haskie-lambda / BinaryIndexedListCoerce.hs
Created May 31, 2021 16:02
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
haskie-lambda / cowcite.sh
Created May 25, 2021 18:07
the wise cow and some other wise entities spreading random life advice
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
haskie-lambda / installing_wonderdraft.md
Created February 4, 2021 19:37
install procedure for wonderdraft map creation tool on NixOS using nix-ld

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
haskie-lambda / bookmarks.md
Last active August 11, 2021 09:15
A collection of bookmarks

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
haskie-lambda / Test01
Created November 21, 2018 08:55
Role0
Role1
Role2