KRR
software
IDP
Issues
Interpretation of (constructed) terms is not checked for types
Issue #638
new
Broes De Cat
created an issue
2014-01-16
No description provided.
UNDETECTED_TYPE_ERROR.idp
Comments (0)
Log in to comment
Assignee
–
Type
bug
Priority
minor
Status
new
Component
–
Version
–
Votes
0
Watchers
0