Skip to content

Instantly share code, notes, and snippets.

@LukaJCB
LukaJCB / Algebra.purs
Last active September 22, 2019 13:01
Alternative Tagless Final encoding in PureScript
module Algebra where
import Prelude
import Control.Monad.Eff (Eff)
import Data.Maybe (Maybe(..))
newtype ConsoleAlg f = ConsoleAlg
{ printLn :: String -> f Unit
, readLn :: f String
@uarun
uarun / babun_tab_completion.md
Created September 3, 2018 23:20
Fix for Babun Tab completion

Babun Tab Completion

If babun tab completion stops working, then do the following:

$ cd
$ compinit
$ cp .zcompdump .zcompdump-$HOSTNAME-$ZSH_VERSION