heptagon/clocks.ept at master - heptagon - Gitea: Service Git d'Aurore

Suppression de la possibilité de cloner des dépôts privés en HTTPS ;
Réinstallation de drone ou changement d'outil de CI ;
Possiblement migration de Gitea à Forgejo.

jeltz

/

heptagon

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

12 lines

170 B

Plaintext

Raw Permalink Blame History

 node f(x:bool) returns (y:bool)
 let
   y = x when x
 tel
 node main() returns (y:bool)
 var c:bool;
 let
   c = true fby true fby false fby c;
   y = merge c (f(c)) false;
 tel