(experimental) Conceptual s-expression based typed term graph rewriting system
Why do you think that https://github.com/type-challenges/type-challenges is a good alternative to reasoner.js
(experimental) Conceptual s-expression based typed term graph rewriting system
Why do you think that https://github.com/type-challenges/type-challenges is a good alternative to reasoner.js