This is a personal blog (mainly about programming computer, and more)
The type checker enforces type rules that are specified by means of Prolog clauses.
No comments:
Post a Comment