3 ms·
This is probably a stupid question, but I know that Ambrose has written and presented on a type checker written in core.logic. Is this related to that in any w
by craigching 13y ago
This is probably a stupid question, but I know that Ambrose has written and presented on a type checker written in core.logic. Is this related to that in any way?
- swannodette 13y agoUnrelated, Typed Clojure is based on research that went into Typed Racket
- ambrosebs 13y agoJust as cool though! :)