User:Realazthat/Projects wishlist/MathML2X: Difference between revisions
Content added Content deleted
(Created page with 'Write an XSLT transform to convert a function written in a subset of MathML to <some language>. This will allow one to specify an algorithm mathem…') |
|||
| Line 64: | Line 64: | ||
** Types expressed as constraints |
** Types expressed as constraints |
||
** Constraints are resolved at runtime |
** Constraints are resolved at runtime |
||
* [[wp:Constraint_programming], [[wp:Constraint_logic_programming]] |
* [[wp:Constraint_programming]], [[wp:Constraint_logic_programming]] |
||