issues
search
diku-dk
/
futhark-website
Git repository containing the Futhark website.
https://futhark-lang.org
Other
10
stars
13
forks
source link
It's no longer called `futhark script`
#22
Closed
Munksgaard
closed
3 years ago