search

Cypher1 / tako

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

docs: add cypher1 as a contributor for code, and design #411

Closed allcontributors[bot] closed 4 months ago

allcontributors[bot] commented 4 months ago

Adds @cypher1 as a contributor for code, design.

This was requested by Cypher1 in this comment