diku-dk / futhark-website

Git repository containing the Futhark website.
https://futhark-lang.org
Other
10 stars 13 forks source link

Remove extra word #33

Closed Munksgaard closed 3 years ago