Content deleted Content added
start stub, yet unsourced |
added Category:Term-rewriting programming languages using HotCat |
||
Line 16:
{{logic-stub}}
[[Category:Term-rewriting programming languages]]
|
start stub, yet unsourced |
added Category:Term-rewriting programming languages using HotCat |
||
Line 16:
{{logic-stub}}
[[Category:Term-rewriting programming languages]]
|