cami

Guru

Niveau : 5
N° de Membre : 2

Ancienneté : 100% Participation : 12% Inscription: 22 Feb 2002
Localisation: Paris
Age: 44
Messages: 10312
Sujets Lancés : 221

que je suis contente finalement d'être rentrée un ptit peu à la maison!

__________________

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 50 Jours, 13 Heures, 3 Minutes, 7 Secondes en ligne

Morpheus

Expert

Niveau : 3
N° de Membre : 217

Ancienneté : 100% Participation : 3% Inscription: 27 Feb 2002
Localisation: Muflin ( Groland )
Age: 48
Messages: 2528
Sujets Lancés : 166

que maintenant que j'ai fini mon kinder je m'ennuie

__________________

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 30 Jours, 5 Heures, 57 Minutes, 48 Secondes en ligne

Arsene Lupin

Guru

Niveau : 5
N° de Membre : 1847

Ancienneté : 99% Participation : 7% Inscription: 24 May 2002
Localisation: chez une copine
Age: 113
Messages: 5727
Sujets Lancés : 176

Citation: Message écrit par Morpheus, le 28-05-2007 à 13:04 Et aussi que vu que je suis licencié le 24 juillet je vais pouvoir aller aux fetes de bayonnes du 1er au 5 aout

cool faudra qu on se voit la bas

__________________
VIENS TE BATTRE !

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 16 Jours, 1 Heure, 39 Minutes, 36 Secondes en ligne

Morpheus

Expert

Niveau : 3
N° de Membre : 217

Ancienneté : 100% Participation : 3% Inscription: 27 Feb 2002
Localisation: Muflin ( Groland )
Age: 48
Messages: 2528
Sujets Lancés : 166

Citation: Message écrit par Arsene Lupin, le 28-05-2007 à 17:16 cool faudra qu on se voit la bas

pas de problemes on se tiend au courant

__________________

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 30 Jours, 5 Heures, 57 Minutes, 48 Secondes en ligne

Arsene Lupin

Guru

Niveau : 5
N° de Membre : 1847

Ancienneté : 99% Participation : 7% Inscription: 24 May 2002
Localisation: chez une copine
Age: 113
Messages: 5727
Sujets Lancés : 176

on fera caca dans la nature ca sera delire

__________________
VIENS TE BATTRE !

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 16 Jours, 1 Heure, 39 Minutes, 36 Secondes en ligne

Morpheus

Expert

Niveau : 3
N° de Membre : 217

Ancienneté : 100% Participation : 3% Inscription: 27 Feb 2002
Localisation: Muflin ( Groland )
Age: 48
Messages: 2528
Sujets Lancés : 166

__________________

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 30 Jours, 5 Heures, 57 Minutes, 48 Secondes en ligne

Morpheus

Expert

Niveau : 3
N° de Membre : 217

Ancienneté : 100% Participation : 3% Inscription: 27 Feb 2002
Localisation: Muflin ( Groland )
Age: 48
Messages: 2528
Sujets Lancés : 166

que je rentre à ma maison

__________________

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 30 Jours, 5 Heures, 57 Minutes, 48 Secondes en ligne

Arsene Lupin

Guru

Niveau : 5
N° de Membre : 1847

Ancienneté : 99% Participation : 7% Inscription: 24 May 2002
Localisation: chez une copine
Age: 113
Messages: 5727
Sujets Lancés : 176

je vais aller manger

__________________
VIENS TE BATTRE !

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 16 Jours, 1 Heure, 39 Minutes, 36 Secondes en ligne

Zakath

Guru

Niveau : 5
N° de Membre : 7213

Ancienneté : 97% Participation : 12% Inscription: 15 Dec 2002
Localisation: Copenhague
Messages: 9866
Sujets Lancés : 426

Que je crois que je vais m'arrêter sur

code:
Logic.Equivalence.Equivalence.eq (Cat.Eq ℂ )
(Cat._∘_ ℂ (Cat._∘_ ℂ (_72 P f h) (_73 P f h)) (_74 P f h))
(Cat._∘_ ℂ (_72 P f h) (Cat._∘_ ℂ (_73 P f h) (_74 P f h)))
!= (x : _77 P f h) -> _78 P f h x of type Set
when checking that
Category.trans ℂ Category.congR ℂ CB.SlAr.π h i'
Pull.pullback.comm ℂ p
are valid arguments to a function of type
Logic.Equivalence.Equivalence.eq (Cat.Eq ℂ )
(Cat._∘_ ℂ (Cat._∘_ ℂ (_72 P f h) (_73 P f h)) (_74 P f h))
(Cat._∘_ ℂ (_72 P f h) (Cat._∘_ ℂ (_73 P f h) (_74 P f h)))

__________________

Allez jeter un œil à mon portfolio !

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 103 Jours, 6 Heures, 14 Minutes, 38 Secondes en ligne

leoniconet

Guru

Niveau : 5
N° de Membre : 2827

Ancienneté : 99% Participation : 24% Inscription: 04 Jul 2002
Localisation: O.L.
Age: 53
Messages: 20925
Sujets Lancés : 1643

c'est quoi ton truc Zakath ?

__________________


Best of
>>sarkozy chierait sur la table après le repas que la plupart d'entre vous s'extasierait : "ah bah c'est bien, il a bien mangé !"<< "Schoubi"
>>... que j'ai envie de faire pipi ... (Morpheus sort de mon corps!) << "Polkaïna"
>>Pourquoi ? t'as quelque chose contre les potes âgés ? <<"fleming"

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 77 Jours, 7 Heures, 33 Minutes, 32 Secondes en ligne

Zakath

Guru

Niveau : 5
N° de Membre : 7213

Ancienneté : 97% Participation : 12% Inscription: 15 Dec 2002
Localisation: Copenhague
Messages: 9866
Sujets Lancés : 426

Des maths formalisées dans un assistant de preuve. Et là, le vérificateur de types m'envoie un message imbitable parce que j'ai du inverser la position de deux fonctions quelque part dans mon code, mais je n'ai pas le courage d'aller débugger ça...

__________________

Allez jeter un œil à mon portfolio !

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 103 Jours, 6 Heures, 14 Minutes, 38 Secondes en ligne

(TRoLLz)STeF

Guru

Niveau : 5
N° de Membre : 5651

Ancienneté : 98% Participation : 7% Inscription: 03 Nov 2002
Localisation: Dans le sud...
Age: 51
Messages: 5674
Sujets Lancés : 87

Citation: c'est quoi ton truc Zakath ?

Ouf, j'ai cru que tu parlais de drogues

__________________
RESISTANZA DEL TRoLLz GETRUNKEN !

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 56 Jours, 2 Heures, 49 Minutes, 34 Secondes en ligne

Arsene Lupin

Guru

Niveau : 5
N° de Membre : 1847

Ancienneté : 99% Participation : 7% Inscription: 24 May 2002
Localisation: chez une copine
Age: 113
Messages: 5727
Sujets Lancés : 176

Citation: Message écrit par Zakath, le 28-05-2007 à 19:36 Des maths formalisées dans un assistant de preuve. Et là, le vérificateur de types m'envoie un message imbitable parce que j'ai du inverser la position de deux fonctions quelque part dans mon code, mais je n'ai pas le courage d'aller débugger ça...

pfff facile

__________________
VIENS TE BATTRE !

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 16 Jours, 1 Heure, 39 Minutes, 36 Secondes en ligne

cami

Guru

Niveau : 5
N° de Membre : 2

Ancienneté : 100% Participation : 12% Inscription: 22 Feb 2002
Localisation: Paris
Age: 44
Messages: 10312
Sujets Lancés : 221

que je suis contente parce que j'ai retrouvé ma collocopine que j'embrasse bien fort!

__________________

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 50 Jours, 13 Heures, 3 Minutes, 7 Secondes en ligne

Sérial posteur

Guru

Niveau : 5
N° de Membre : 13402

Ancienneté : 87% Participation : 11% Inscription: 05 Jun 2005
Localisation: Lille
Age: 55
Messages: 8225
Sujets Lancés : 29

Que tu pourrais la ramener ici.

__________________
Dites moi de quoi vous avez besoin;
Je vous dirai comment vous en passer.

Signaler ce message à un modérateur | IP: Logguée
Temps en ligne : 64 Jours, 8 Heures, 30 Minutes, 11 Secondes en ligne