fsharp_godot_example VS Lambda-Calculus

Some time ago I also made an old version of it public as an example of how I use F# and Godot together which can be found over at https://github.com/lenscas/fsharp_godot_example I'm not sure how up to date I will keep it with the real game as prototypes get "released" but I'm more than willing to merge PR's to improve code style and let it become its own thing :)

Working on applying type theory basics on my lambda calculus based language, (currently added types, and thinking abt adding generics over types). Git repo : LambdaCalculus

I'm trying to make a simple Prototype language that gets transpiled to Lambda-Calc primitives, here is the project repo Project Repo, It works for simple stuff but still needs a lot of work

I just finished working on a Lambda-Calculus based project where I remade FParsec from scratch and using it I built an interpreter for Lambdas, and added a minimal ML like abstraction over it to allow for easy definition of terms, here is the repo Lambda-Calculus-Repo

I'm trying to add an ML like abstraction to this lambda-calc project https://github.com/DemuirGos/Lambda-Calculus next thing will be attempting some blockchain projects