spl

These are the simplified pricing and storage numbers for Mendeley subscription plans as of 2019-01-10:

Plan	Price/month	Price/year (/month)	Storage
Plus	$4.99	$55 ($4.58)	5GB
Pro	$9.99	$110 ($9.17)	10GB
Max	$14.99	$165 ($13.75)	100GB*

This information is available only from their [upgrade page] and can only be

spl

// Demonstration of https://github.com/remarkjs/remark-retext/issues/13

'use strict'

const unified = require('unified')

unified()
  .use(require('remark-parse'))
  .use(
    require('remark-retext'),

spl

diff --git a/src/Backend/CSharp/FromCore.hs b/src/Backend/CSharp/FromCore.hs
index 0fd96b4..5f945ff 100644
--- a/src/Backend/CSharp/FromCore.hs
+++ b/src/Backend/CSharp/FromCore.hs
@@ -14,6 +14,8 @@ module Backend.CSharp.FromCore( csharpFromCore
                               -- , arityMapInit, externalMapInit 
                               ) where
 
+import Prelude hiding ((<>))
+

spl

#!/bin/bash

# This is a pre-commit hook script that checks files for the svn:needs-lock
# property. If the property is not set, the commit will fail with an error
# message that explains what must be done.

# Adapted from: http://stackoverflow.com/a/26037418/545794

# In order to use this script, copy it to:
# <svn-repos-data-dir>/<repos>/hooks/pre-commit

spl

/* For each argument, this program prints each file name in that directory plus
 * the file type. Type 0 is unknown.
 */

#include <stdio.h>
#include <stdlib.h>
#include <sys/dir.h>
#include <sys/stat.h>
#include <unistd.h>

spl

$ mkdir -p build/debug

$ cd build/debug/

$ cmake -DCMAKE_BUILD_TYPE=DEBUG -G Ninja ../../src
-- The CXX compiler identification is AppleClang 7.3.0.7030031
-- The C compiler identification is AppleClang 7.3.0.7030031
-- Check for working CXX compiler: /Library/Developer/CommandLineTools/usr/bin/c++
-- Check for working CXX compiler: /Library/Developer/CommandLineTools/usr/bin/c++ -- works
-- Detecting CXX compiler ABI info

spl

" Originally from Dan Piponi
:map! \lolly ⊸
:map! \comp ∁
:map! \turn& ⅋
:map! \lneg ⅂
:map! \union ∪
:map! \cup ∪
:map! \cap ∩
:map! \alpha α
:map! \alpha α

spl

+ *.lean
- flycheck*.lean
- .#*.lean

spl

/-
First, we add the necessary preliminary declarations:
-/

import data.list
open list

variable {A : Type}

/-

spl

#!/bin/sh

##
## Usage: ./ovpn-writer.sh SERVER CA_CERT CLIENT_CERT CLIENT_KEY SHARED_SECRET > client.ovpn
##

server=${1?"The server address is required"}
cacert=${2?"The path to the ca certificate file is required"}
client_cert=${3?"The path to the client certificate file is required"}
client_key=${4?"The path to the client private key file is required"}