add tests for pattern matching - Githubissues

tsoding / Noq

Simple expression transformer that is not Coq.

MIT License

253 stars 24 forks source link

add tests for pattern matching #18

Open zahash opened 2 years ago