mandober
optional reference-counting interiorly mutable discipline without the discipline of all of the discipline
Belgrade, Serbia
Pinned Repositories
bing-bash
Bash functions library
debrief.cs
Notes about the theoretical side of computing.
debrief.haskell
haskell notes
debrief.math
math notes and reference
enwars
List of common environment variables in linux
haskell-logic
Logical derivations in Haskell
rust-debrief
Notes on Rust accretion: from summary to particularity.
rust-linked-list
Linked list in Rust
rust-maybe-type
Rust: Option's doppelganger, the Maybe type
typeof
typeof - variable typing and dumping for bash
mandober's Repositories
mandober/enwars
List of common environment variables in linux
mandober/debrief.cs
Notes about the theoretical side of computing.
mandober/debrief.math
math notes and reference
mandober/debrief.haskell
haskell notes
mandober/haskell-logic
Logical derivations in Haskell
mandober/agda-agenda
Getting to know the Agda language
mandober/agenda
Exploring Agda
mandober/debonair
Notes about math and computing
mandober/debrief.hierarchy
anarchierarchy
mandober/debrief.meta
debrief collection meta repo
mandober/debrief.pl
aggregate of misc pl notes
mandober/debrief.shell
bash-inclined shell environment
mandober/debrief.tech
technotes
mandober/debriefs
debrief collection
mandober/dotfiles
chaos takes the wheel of the cadillac, rage climbs in the back
mandober/entro.py
into intro entro python
mandober/fpj
FP in JS
mandober/functional-php
mandober/fuse
fuse all debriefs into a single kb
mandober/gambit-hs
Exploring Haskell
mandober/hslib
Haskellness
mandober/into-haskell
Haskell on trial
mandober/js-flex
Flexible decorator for polyadic functions
mandober/js-trial
mandober/lambert
Lambdas in PL
mandober/mandober.github.io
mandober/pokemon
React learning project
mandober/shartefacts
shell artefacts
mandober/shellements
shellementary principles and practices
mandober/vectercise
Type-level Haskell exercise: implementing list functions on a vector