I hereby claim:
- I am wiz on github.
- I am icrbow (https://keybase.io/icrbow) on keybase.
- I have a public key ASDRadknOBC70474T10SGyu5lcwZ6uN7HsfkBSahuXWErAo
To claim this, I am signing this object:
| import Control.Distributed.Process | |
| import Control.Distributed.Process | |
| spawnLocalOrHandoff :: String -> Process () -> Process ProcessId | |
| spawnLocalOrHandoff regKey proc = do | |
| (pidTo, pidFrom) <- newChan | |
| pid <- spawnLocal $ registerOrHandoff regKey pidTo proc | |
| withMonitor pid $ receiveWait | |
| [ matchChan pidFrom $ either die pure |
I hereby claim:
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE PatternSynonyms #-} | |
| {-# LANGUAGE TemplateHaskell #-} | |
| {-# LANGUAGE TypeFamilies #-} | |
| module Main where | |
| import Apecs | |
| import Apecs.Physics |
| {-# LANGUAGE OverloadedStrings #-} | |
| module CMC ( | |
| -- * Types | |
| Name, | |
| Formula(..), | |
| -- * Querying | |
| freeFVars, | |
| -- * Operations | |
| lift, |