F-natural is alive and well and living at https://github.com/billhails/PyScheme

Here’s a gist of an interpreter for a tiny lambda language, written in F?