zyzo

open List;;
open Plf;;
open Plftypes;;

let primitives = ["succ" ; "plus" ; "moins" ; "fois" ; "div" ; "egal"];;

let rec present e l = match l with  
   [] -> false
 | x::r when x=e-> true
 | x::r -> present e r

zyzo

// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console

zyzo

1. Delete file from git repository
1. Download bfg.jar from http://rtyley.github.io/bfg-repo-cleaner/
2. mirror clone the project
    $ git clone --mirror git://example.com/my-repo.git
3. Run 
    $ java -jar bfg.jar --delete-files fileToDelete  my-repo.git
4. Update 
    $ cd my-repo.git
    $ git reflog expire --expire=now --all && git gc --prune=now --aggressive
5. Finally, push it back up : 

zyzo

/* disque(Nom, Motif) - Modélisation des disques */
disque(a, [-1,  0,  0,  0,  0,  0]).
disque(b, [-1, -1,  0,  0,  0,  0]).
disque(c, [-1,  0, -1,  0,  0,  0]).
disque(d, [-1,  0,  0, -1,  0,  0]).
disque(e, [-1, -1, -1,  0,  0,  0]).
disque(f, [-1, -1, 0,  -1,  0,  0]).
disque(g, [-1,  0, -1,  0, -1,  0]).
disque(h, [-1, -1, -1, -1,  0,  0]).

zyzo

/** Derivative work from date-de plug-in :
 * https://github.com/DataTables/Plugins/blob/master/sorting/date-de.js
 *
 * date and time : dd[DATE_SP]mm[DATE_SP]yy HH[TIME_SP]mm[TIME_SP]ss
 * date : dd[DATE_SP]mm[DATE_SP]yy
 *
 * @author zyzo
 * @example
 *      "columnDefs": [
             {type : 'datetime', targets : 3},

zyzo

	
    	protected void onCreate(Bundle savedInstanceState) {
                ...
		mImageSwitcher = (ImageSwitcher) findViewById(R.id.switcher1);
		mImageSwitcher.setFactory(new ViewFactory() {
	        	@Override
	        	public View makeView() {
	            		return new ImageView(GameActivity.this);
	        	}
		});

zyzo

package com.dha.contagion;

import android.annotation.SuppressLint;
import android.app.Activity;
import android.graphics.Bitmap;
import android.graphics.BitmapFactory;
import android.graphics.Point;
import android.os.Bundle;
import android.view.Display;
import android.view.Menu;