| http://www.w3.org/ns/prov#value | - As far as the type checker is concerned (either for existing JVM based type system or for your own macros based type system), that can be implemented using core.logic and the relationship between a type checker and core.logic is that a type checker task is to look at the static type annotations in your code and verify that the constraints and relations are satisfied and core.logic is a system whic
|
