Auteur :
RECENT POSTS
- Le nouveau GC d’OCaml 4.10 : premier aperçu de la stratégie best-fit
- Réunion annuelle du Club des utilisateurs d’Alt-Ergo
- 2019 chez OCamlPro
- Formations OCaml par OCamlPro : 5-6 et 7-8 novembre 2019
- Mise à jour des Cheat Sheets : OCaml Language et OCaml Standard Library
- Travaux sur le compilateur OCaml : dernières nouvelles
- Résultats de la SMT-Comp 2019 pour Alt-Ergo
- Release de Techelson, moteur de tests pour Michelson et Liquidity
- Optimisation du stockage dans Tezos : une branche de test sur Gitlab
- Tezos et OCamlPro