Follow

types are the end-all be-all of interactions between program components 

@brokenix@emacs.ch with limited exposure to , I felt you could express that usably in Prolog. I am yet to try though!

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.