Oui je sais ça me fait la même chose :)
J'ai pas d'algo là sous la main mais il doit se déduire des nombreuses règles équationnelles et de typage données en appendice.
Faudra que je demande si ça a déjà été implanté quelque part :)
En fait il vaut mieux, comme indiqué, commencer par leur premier papier sur le premier ordre je pense ...
[^] # Re: Nosicalight version 0.2
Posté par Kriek . En réponse au journal Nosicalight version 0.2. Évalué à 1.
Oui je sais ça me fait la même chose :)
J'ai pas d'algo là sous la main mais il doit se déduire des nombreuses règles équationnelles et de typage données en appendice.
Faudra que je demande si ça a déjà été implanté quelque part :)
En fait il vaut mieux, comme indiqué, commencer par leur premier papier sur le premier ordre je pense ...