2 releases

0.1.1 Jul 25, 2024
0.1.0 Jun 11, 2024

#451 in Programming languages

25 downloads per month
Used in mangle-engine

Apache-2.0

35KB
726 lines

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://github.com/google/mangle for more information about Mangle.

Dependencies

~3.5–5MB
~88K SLoC