ichistmeinname

-----BEGIN PGP PUBLIC KEY BLOCK-----
Comment: GPGTools - https://gpgtools.org

mQINBFXppN4BEAC97Uf69q6xWGLM2629PZ0UVAuqwRU4vJdZQOyQvdlJFsyU7DJC
G2BR2MarsGW8XD59EBLL3tHWSe5Arqgf56woNMo6aLdUUVteqTDCiZmx07y1HTcG
lLLBTvI4tK0oj7pV3L/8I50R7jargzuK+ohlmC+GoqyEfFKHqowpH1G+p0Fm2EBP
umprOSq1EzklWsfj8bwfy9nBy/dlEzS+0Hpaj54UGxup1d1ljja/Evxv5S4Z7aRh
Ly0EUJco794nZyOT5/7AsBYmbGk/LOVCZWUK50cCukTyb5o6g8mxz9UIbk5nvPe3
P+s8/zzsR9jdgR6aT0SGX8aZXFl/d18N9EPHQ2xCjQes/MW31dYU5BxymaB8xECQ
Va2gjfi4+yM3j7CTE/oNjvhN2Cz6bF7RvNvbERBQ/R0S5KJ5IFOe6+1tVZFLE5XM

ichistmeinname

Keybase proof

I hereby claim:

• I am ichistmeinname on github.
• I am ichistmeinname (https://keybase.io/ichistmeinname) on keybase.
• I have a public key whose fingerprint is E8DB 7D1E DB7A C29A 69D3 4F62 5D7D 6711 0887 2E97

To claim this, I am signing this object:

ichistmeinname

kandidat(maier).
kandidat(mueller).
kandidat(schroeder).
kandidat(schulz).

alleKandidat(vorstand(V,S,K)) :- kandidat(V), kandidat(S), kandidat(K).

einerKandidat(vorstand(V,S,K)) :- kandidat(V); kandidat(S); kandidat(K).
% alternativ:
% einerKandidat(vorstand(V,_,_)) :- kandidat(V).

ichistmeinname

module Automaton2 where

data StateI ident = StateA ident TransitionsA Bool
 deriving Show

type StateA = StateI Ident

type Ident = String

type TransitionsA = Map.Map Char StateA

ichistmeinname

module Automaton where

import Prelude hiding ( repeat )
import Data.List ( find )

data State = State
  [(Char, State)] -- transitions
  Bool            -- final state?

-- prueft, ob ein Automat ein gegebenes Wort akzeptiert

ichistmeinname

module Set where

-- Menge als Funktion?!
type Set a = a -> Bool

-- empty
empty :: Set Int -- Int -> Bool
empty _ = False
-- empty x = const False x
-- empty   = const False

ichistmeinname

-- data IntTree = IntLeaf Int
--              | IntBranch IntTree IntTree
--   deriving Show
-- IntLeaf   :: Int -> IntTree
-- IntBranch :: IntTree -> IntTree -> IntTree

intTree1 :: IntTree
intTree1 = Branch (Branch (Leaf 21)
                          (Leaf 5))
                  (Branch (Leaf 20)

ichistmeinname

public class Counter extends Thread {

    private String name;
    private int count;
    private int delay;

    public Counter(String name, int delay) {
        this.name = name;
        this.delay = delay;
        this.count = 0;

ichistmeinname

public class SyncPhilosopher implements Runnable {

    private Object left;
    private Object right;
    private int num;
    

    public SyncPhilosopher(int num, Object left, Object right) {
        this.left = left;
        this.right = right;

ichistmeinname

# a ist ein eindimensionales array
def removeCell(a,k)
  a = a[0,k] + a[k+1,a.size-1];
end;

#p(removeCell([1,2,3,4], 3));
# [1,2,3];

#p("Hallo Welt"[6,4]);