featherweight-java

Academic toy language to demonstrate typechaking of an object oriented, functially pure programming language.

How to run an example

cargo run -- examples/stdlib.fj examples/peano.fje

Here examples/stdlib.fj is the library of classes to load and examples/peano.fje is the expression to evaluate.