Codec operators & instantiation

MathHubInfo / mhd

The implementation of MathDataHub powered by Django + React.

https://data.mathhub.info

GNU General Public License v3.0

1 stars 1 forks source link

Codec operators & instantiation #9

Open katjabercic opened 5 years ago

katjabercic commented 5 years ago

Experiment with how codec terms (i.e. codec operators applied to some arguments) can be materialized more easily. I believe this can be done completly automatically on the frontend, and semi-automatically in the backend.

katjabercic commented 5 years ago

@tkw1536 Please add a description