Le mercredi, 18 avril 2012 à 03:59, Satoshi Ogasawara a écrit :
What's the semantics if you send two different values to an event during an
update cycle ?
They fires two different event if you send two different value to an event
even if same update cycle. Events send are stored in an
Hi Claire,
Without much confidence, I would start by checking matchpats for uses of
fmt.
On 16 April 2012 17:52, Claire Dross claire.dr...@lri.fr wrote:
Hello,
I am new to caml-list, so sorry in advance if it is not the right place to
make this post. In a quite important piece of ocaml
Le mercredi, 18 avril 2012 à 13:44, Satoshi Ogasawara a écrit :
But PEC dose not violate good semantics either. PEC treats only one event at
any
given time t. Please see blow code.
I don't think your code shows the problem I'm talking about.
module E = Pec.Event.Make
Hello Caml-list,
I'm please to announce release ERic version 0.2a, a small/simple (may be
simplistic ?) graph-based knowledge database.
The interface is command-line only.
SVN: http://subversion.developpez.com/projets/ERic/trunk
Author: Damien Guichard.
Last
Hello,
I'm curious, what is it used for?
Is it for people doing proof checkers or things like this?
Thanks,
F.
On 04/19/2012 07:26 AM, Markus W. Weißmann wrote:
Hi,
I'd like to announce the first public release of the 'boolean expression simplifier'
library bes.
It is an implementation of