Hacker News new | ask | show | jobs
by whatsakandr 92 days ago
Not to be confused with https://github.com/tsoding/Noq

Which got it's name from 'Not Coq'