Note
This package has moved to https://github.com/uchchwhash/maths. Not that it had anything worth moving here anyway. But the name conflicts with that of the very promising project https://github.com/moonad/Formality. Maybe some day I'll have enough time to put this thing together.
formality lets you work with mathematical expressions in their abstract syntax tree form.
Copyright © 2017 Imam Tashdid ul Alam
This file is part of formality.
This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the [GNU General Public License](LICENSE) along with formality. If not, see <http://www.gnu.org/licenses/>.