13:29:24lxsameerhi folks, i'm interested to know about clasp's type system implementation. is there any article or paper related to that topic ?
13:30:00lxsameeralso could you please point me to the code which is related to clasp's type system ?
13:34:33Bikelxsameer: what specifically do you want to know? for subtypep, which is most of the logic, we just use baker's algorithm, which i'd link you to but the site appears to be done