Category:CHR: Difference between revisions
Content added Content deleted
(Added language template) |
No edit summary |
||
Line 1: | Line 1: | ||
{{stub}} |
{{stub}} |
||
{{language|CHR |
{{language|CHR |
||
|exec=both |
|||
|site=http://dtai.cs.kuleuven.be/CHR/ |
|site=http://dtai.cs.kuleuven.be/CHR/ |
||
|gc=yes |
|||
|safety=safe |
|||
|checking=both |
|||
}} |
}} |