From: WANG Date: Wed, 11 Sep 2013 12:10:38 +0000 (+0200) Subject: Add 21 primitives to Faustine. X-Git-Url: https://scm.cri.mines-paristech.fr/git/Faustine.git/commitdiff_plain/9fdfd04e29fcefdb9120a4d9467827ceaf8dfaa0?hp=9fdfd04e29fcefdb9120a4d9467827ceaf8dfaa0 Add 21 primitives to Faustine. Succeed in compilation. Not yet tested. ---