| import Data.List | |
| import Control.Monad | |
| type Subst = [(String, Formula)] | |
| (|->) :: String -> Formula -> Subst | |
| v |-> f = [(v,f)] | |
| data Formula = Var String | |
| | FTrue | FFalse | |
| | FAnd [Formula] |
(a gist based on the old toolmantim article on setting up remote repos)
To collaborate in a distributed development process you’ll need to push code to remotely accessible repositories.
This is somewhat of a follow-up to the previous article setting up a new rails app with git.
Set up the new bare repo on the server:
| ====== Disassembly of Matt Gray's "Driller" ====== | |
| ; da65 V2.12.9 - (C) Copyright 2000-2005, Ullrich von Bassewitz | |
| ; Created: 2009-04-01 09:43:40 | |
| ; Input file: Matt_Gray-Driller.prg | |
| track_ptr = $FB | |
| pattern_ptr = $FD |
