Comment by tombert

I've been looking for an excuse to play with Coq (cough) for awhile now. A new release is as good an excuse as any I suppose.

Does anyone know how this compares to something like Idris?