[racket] I love TR

From: John Clements (clements at brinckerhoff.org)
Date: Thu Sep 20 18:40:56 EDT 2012

On Sep 20, 2012, at 3:35 PM, Carl Eastlund wrote:

> [possibly off-topic]
> Is it weird to anyone else that the dependent type comparison table, as well as the proof assistant comparison table linked right above it, seem to assume that proof assistants and dependently typed languages are synonymous?  This assumption, for instance, makes ACL2 look absolutely terrible on the proof assistant comparison chart.  Even after I fixed it up to acknowledge that yes, ACL2 does have proof automation, thank you very much.

Yes, that struck me as very strange, as well.

John Clements

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4800 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20120920/466ea736/attachment.p7s>

Posted on the users mailing list.