Full threadwhatsakandr·Not to be confused with https://github.com/tsoding/NoqWhich got it's name from 'Not Coq'View on HN