search

tsoding / Noq

Simple expression transformer that is not Coq.
MIT License
253 stars 24 forks source link

Update README.md #13

Open PyBaker opened 2 years ago

PyBaker commented 2 years ago

docs: fixed typos