Finally releasing an alpha version of the Engine powering the Proposition 7 constrained generation project !
The currently system supports Simply Typed functionals, context-mutating imperative features, a bit of subtyping and soon refinement types
STLC tested against Coq impl
🔴🇫🇷 𝗔𝗟𝗘𝗥𝗧𝗘 𝗜𝗡𝗙𝗢 — « Vous m’avez désobéi, vous êtes démise de vos fonctions. » : La directrice de la Police nationale dans les Landes, a été ÉCARTÉE par le préfet Gilles Clavreul, accusée de ne pas avoir assez réprimé les agriculteurs.
Les faits remontent au 11 janvier, lors d’une action surprise d’agriculteurs de la Coordination rurale devant la préfecture. La responsable policière a privilégié le dialogue et la négociation, permettant une dispersion sans heurts ni troubles majeurs à l’ordre public.
Selon le Syndicat des commissaires de la police nationale (SCPN), le préfet des Landes aurait exigé une intervention coercitive et des interpellations.
La directrice aurait ensuite reçu un message indiquant : « Vous m’avez désobéi, vous êtes démise de vos fonctions ».
Le SCPN dénonce une décision « arbitraire et humiliante » et annonce saisir le ministère de l’Intérieur.
(Sources : Radio France / Fdesouche)
@RemiTrain les controleurs ont considéré que j'etais sans billet (comme c'est ecrit sur ma contravention) et j'ai donc du payé 50e en plus des 20.50e que j'avais payé 30min avant.
@RemiTrain Merci de votre réponse, j'ai fais une reclamation sur https://t.co/WtHG8iWDE0
Le probleme étant que le payment de mon billet s'est validé a 18:04 alors que le train partait à 18:03. La lenteur de l'application sncf y a joué. Je me suis fais ensuite controlé à 18h28 et *
pr mes etudiants ya les controleurs a jussieu ils controlent tt le monde
ils ont voulu me mettre 70e alors que g une navigo c des scammeurs faites attention
One year ago today, we lost David Lynch.
“No matter what the weather is, I wish for all of you blue skies and golden sunshine internally all along the way.”