qzchenwl

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE DeriveDataTypeable #-}

import Data.Aeson
import qualified Data.ByteString.Char8 as BS
import qualified Data.ByteString.Lazy.Char8 as BSL
import Data.ByteString.Lazy (toChunks)
import Data.List
import Data.Maybe
import Data.Typeable (Typeable)

goldfirere

{-# LANGUAGE DataKinds, PolyKinds, GADTs, TypeFamilies, TypeOperators,
             ConstraintKinds, ScopedTypeVariables, RankNTypes #-}
 
module Shape where
 
import GHC.Exts

data a :=: b where
  Refl :: a :=: a

thoughtpolice

/*

Example usage (in configuration.nix):

  services.phabricator.enable       = true;
  services.phabricator.baseURI      = "secure.example.org";
  services.phabricator.baseFilesURI = "secure-files.example.org";
  services.phabricator.extensions =
    { libphutil-scrypt  = "git://github.com/haskell-infra/libphutil-scrypt.git";
      libphutil-yubikey = "git://github.com/thoughtpolice/libphutil-yubikey.git";