loehnertz

/**
 * Swaps the order of the elements of the given [Pair] in a type-safe manner.
 *
 * Example:
 * ```
 * Pair("David", 32).swap()  // Pair(32, "David")
 * ```
 */
fun <A, B> Pair<A, B>.swap(): Pair<B, A> = this.second to this.first

loehnertz

module Exam2018 where

import           Data.List
import           Test.QuickCheck


-- Exercise 5

jos :: Int -> Int -> Int -> Int
jos n k 0 = rem (k-1) n

loehnertz

module Exam2018 where

import           Data.Char
import           Data.List
import           Test.QuickCheck


-- Hoare Triples --

-- Use this to validate a Hoare triple respectively to find a counter-example (Domain: Integers)

loehnertz

// IMPORTS ANFANG
#include <ESP8266WiFi.h>
#include <ESP8266HTTPClient.h>
// IMPORTS ENDE

// PIN KONFIGURATION ANFANG
#define COLOR_S0 D0
#define COLOR_S1 D1
#define COLOR_S2 D2
#define COLOR_S3 D3

loehnertz

set noautofocus
set scalehints
set autoupdategist
let barposition = "bottom"
map a :open google<Space>
map A :tabnew google<Space>