heptagon/linear_map.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.

11 lines

161 B

Plaintext

Raw Permalink Blame History

 const n:int = 100
 fun f(a:int^n at r) returns (o:int^n at r)
 let
   o = [ a with [0] = 0 ]
 tel
 fun g(a:int^n^n) returns (o:int^n^n)
 let
   o = map<<n>> f (a)
 tel