Suggest an alternative to

system_r

system_r is a simply-typed lambda calculus with parametric polymorphism, written in Rust with minimal dependencies; Originally forked from lazear/types-and-programming-languages, it hosts further enhancements to make it suitable for wider use

A URL to the alternative repo (e.g. GitHub, GitLab)

Here you can share your experience with the project you are suggesting or its comparison with system_r. Optional.

A valid email to send you a verification link when necessary or log in.