tomphp

module TennisSpec where

import Test.Hspec

data Point 
  = Love 
  | Fifteen
  | Thirty
  | Forty
  deriving (Enum, Eq, Show)

tomphp

My Questionnaire

1. What's your name?

---

2. What's your favourite colour?

( ) Red ( ) Green

tomphp

%default total

data Player = P1 | P2

-- How can we prove that it's not the same player?
otherPlayer : Player -> Player
otherPlayer P1 = P2
otherPlayer P2 = P1

data PointValue = Love | Fifteen | Thirty | Forty

tomphp

%default total

data Player = P1 | P2

-- How can we prove that it's not the same player?
otherPlayer : Player -> Player
otherPlayer P1 = P2
otherPlayer P2 = P1

data PointValue = Love | Fifteen | Thirty | Forty

tomphp

package go_coin_change

func ExampleChange(amount uint) []uint {
	result := []uint{}

	coins := []uint{10, 5, 2, 1}

	for _, coin := range coins {
		for amount >= coin {
			result = append(result, coin)

tomphp

RSpec.describe 'acceptance test' do
  xit 'works' do
    runner = CommandRunner.new(Tokenizer.new)

    expect(runner.run(
      'I 5 5',
      'C 1',
      'V 2 5 3 4',
      'H 5 1 4 3',
      'P 4 2 2',

tomphp

from hypothesis import given
from hypothesis.strategies import text

def reverse(string):
    return string

@given(text())
def test_reverse_reverse_is_the_original(s):
    assert s == reverse(reverse(s))

tomphp

### Keybase proof

I hereby claim:

  * I am tomphp on github.
  * I am tomoram (https://keybase.io/tomoram) on keybase.
  * I have a public key ASB2-5Vv65haxi1hqeFEhF4m7z_7WzFpet0w5IID9JXdLAo

To claim this, I am signing this object:

tomphp

<?php

// https://github.com/tomphp/php-transform
use function TomPHP\Transform\__;

$ticket1 = new Ticket(new User(['dob' => new DateTime('1980-01-22')]));
$ticket2 = new Ticket(new User(['dob' => new DateTime('1984-08-08')]));

$tickets = [$ticket1, $ticket2];

tomphp

<?php

// An example of navigating HAL enabled JSON APIs in Behat tests
// using https://github.com/tomphp/hal-client

use TomPHP\HalClient\Client;

class APIContext
{
    // ...