d0kt0r0/extramuros — pull request #2 by yaxu (2014-11-08 00:19:13+00:00)
Title: Add tidal initialisation script automatically run when ghci starts up

So that tidal works without needing special initialisation by extramuros itself