jlouis

%% @doc This module represents a Player with a Socket and a Token
-module(ggs_table).
-behaviour(gen_server).

%% gen_server callbacks
-export([init/1, handle_call/3, handle_cast/2, handle_info/2,
         terminate/2, code_change/3]).

-record(state, { token, players, socket, game_vm } ).

jlouis

module InsertionSort where

open import Data.Nat
open import Data.Product

data Order : Set where
  le : Order
  ge : Order

data List (X : Set) : Set where

jlouis

module Companies101 where

open import Data.Bool
open import Data.Vec
open import Data.Nat
open import Data.String

Name = String
Salary = ℕ
Address = String

jlouis

-module(ecirca_ets).
-export([new/1,
         set/3,
         get/2,
         push/2,
         slice/3]).

-type res() :: {reference(), integer(), integer()}.

-spec new(pos_integer()) -> {ok, res()}.

jlouis

-- Nuvel, dette script kan udføres med PostgreSQL 9.1 på en vilkårlig database.
-- Det burde ikke lave nogen ændringer, thi alt foregår i en transaktion:
BEGIN;

-- Byg passende legetable...
CREATE TEMPORARY TABLE posts (
  uid INTEGER,
  nid INTEGER,
  title TEXT,
  created DATE );

jlouis

OK: Passed 1000 test(s).

26% {negotiate,{trade_fsm_proper,b_make_offer,1}}
24% {negotiate,{trade_fsm_proper,a_make_offer,1}}
14% {negotiate,{trade_fsm_proper,a_retract_offer,1}}
14% {negotiate,{trade_fsm_proper,b_retract_offer,1}}
5% {idle,{trade_fsm_proper,b_trade,0}}
4% {idle,{trade_fsm_proper,a_trade,0}}
3% {idle_wait_b,{trade_fsm_proper,a_do_accept,0}}
1% {idle,{trade_fsm_proper,expect_a_ask_negotiate,0}}

jlouis

OK: Passed 1000 test(s).

13% {negotiate,{trade_fsm_proper,b_make_offer,1}}
13% {negotiate,{trade_fsm_proper,b_make_offer_unblock,1}}
8% {negotiate,{trade_fsm_proper,b_ready_not_yet,0}}
7% {negotiate,{trade_fsm_proper,a_ready,0}}
7% {negotiate,{trade_fsm_proper,a_make_offer,1}}
6% {negotiate,{trade_fsm_proper,b_retract_offer_unblock,1}}
6% {negotiate,{trade_fsm_proper,b_retract_offer,1}}
6% {idle,{trade_fsm_proper,b_trade,0}}

jlouis

jlouis@myrddraal:~/Projects/pqueue$ make console 
erl -pa ebin
Erlang R15A (erts-5.9) [source] [64-bit] [smp:2:2] [rq:2] [async-threads:0] [hipe] [kernel-poll:false]

Eshell V5.9  (abort with ^G)
1> pqueue_proper:qc_pq().
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

jlouis

-module(foo).

-export([test/0,
         export_me/1]).


export_me(_N) ->
    nono.

test() ->

jlouis

-module(foo).

-export([test/0,
         export_me/1]).