Cypher1 / tako

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

Update Contributors #410

Closed Cypher1 closed 6 months ago

Cypher1 commented 6 months ago
Cypher1 commented 6 months ago

@all-contributors please add @cypher1 for code, design

allcontributors[bot] commented 6 months ago

@Cypher1

I've put up a pull request to add @cypher1! :tada: