wouter-swierstra

// A type-level SAT solver in Swift


// Two types to model Booleans
struct True { }

struct False { }

// Negation, Conjunction, Disjunction

diogo-almeida

# Path of LibreOffice installation
cd /Applications/LibreOffice.app/Contents/MacOS

# General command
./soffice --headless --convert-to <extension> <path+file>

# Automatically convert all .odt files to pdf
./soffice --headless --convert-to pdf ~/Downloads/*.odt

# To specify an output folder you can add the --outdir option

diogomonica

require 'rubygems'
require 'mechanize'

FIRST_NAME = 'FIRST_NAME'
LAST_NAME = 'LAST_NAME'
PHONE = 'PHONE'
EMAIL = 'EMAIL@provider.com'

PARTY_SIZE = 2
SCHEDULE_RANGE = { :start_time => '19:00', :end_time => '20:30' }

owainlewis

module Example () where

import Network.HTTP

-- Non HTTPS

-- 1. Perform a basic HTTP get request and return the body
get :: String -> IO String
get url = simpleHTTP (getRequest url) >>= getResponseBody