Cypher1 / tako

An experimental programming language for ergonomic software verification
https://takolang.dev
MIT License
15 stars 1 forks source link

Parallel tasks should be able to be split into windows/tabs #387

Open Cypher1 opened 1 year ago