dpwiz

{-# LANGUAGE OverloadedStrings #-}

module CMC (
  -- * Types
  Name,
  Formula(..),
  -- * Querying
  freeFVars,
  -- * Operations
  lift,

dpwiz

{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PatternSynonyms       #-}
{-# LANGUAGE TemplateHaskell       #-}
{-# LANGUAGE TypeFamilies          #-}

module Main where

import Apecs
import Apecs.Physics

dpwiz

Keybase proof

I hereby claim:

• I am dpwiz on github.
• I am icrbow (https://keybase.io/icrbow) on keybase.
• I have a public key whose fingerprint is DB13 7C80 CB83 D703 C813 97C1 47DA E604 896D 2914

To claim this, I am signing this object:

dpwiz

Keybase proof

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:

dpwiz

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

dpwiz

module Room
  ( roomProcess
  , roomService
  -- Client API
  , joinRoom
  , partRoom
  , sendRoom
  , listRoom
  -- Server API is private
  ) where

dpwiz

distributed-process-0.6.0

2016-02-18 Facundo Domínguez [email protected] 0.6.0

• Have nsendRemote skip the transport for local communication.
• Unsafe primitives for usend and nsendRemote.
• Stop using the transport for local communication.
• Skip the transport for whereisRemoteAsync and registerRemoteAsync.
• Have nsendRemote skip the transport for local communication.
• Have runProcess forward exceptions.

dpwiz

server {
    listen       80;
    server_name  hostname.tld *.hostname.tld;

    location / {
        return 301 https://$host$request_uri;
    }

    location /.well-known/acme-challenge {
        root /ext/www/public_html/le-challenge;

dpwiz

./manage.py dumpdata --exclude=auth.permission --exclude=contenttypes --exclude sessions --exclude admin --natural-foreign --indent=2 | xz -9 > dump-`date +%Y%m%d`.json.xz

dpwiz

cp ~/Downloads/FiraCode-Regular.ttf ~/Extensions/fljalecfjciodhpcledpamjachpmelml/*/css/

cp ~/Extensions/fljalecfjciodhpcledpamjachpmelml/*/css/caret-dark.css /tmp/caret-dark.css
echo '
@font-face {
    font-family: FiraCode;
    src: url(FiraCode-Regular.ttf);
}
' > ~/Extensions/fljalecfjciodhpcledpamjachpmelml/*/css/caret-dark.css
cat /tmp/caret-dark.css >> ~/Extensions/fljalecfjciodhpcledpamjachpmelml/*/css/caret-dark.css