Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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?


Unrelated, Typed Clojure is based on research that went into Typed Racket


Just as cool though! :)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: