# mangle_analysis
This package is part of the Mangle logic programming language.
It contains code related to semantic analysis (name resolution, type
inference and type-checking).
See https://codeberg.org/TauCeti/mangle-rs for more information about Mangle.