Skip to content
/ frog Public

Experimental functional language and compiler built around the Functional Machine Calculus (a lambda calculus with a unique effects system)

Notifications You must be signed in to change notification settings

bmoxb/frog

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

88 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Frog

Frog is an experimental functional programming language that uses the Functional Machine Calculus (FMC) as its underlying model of computation.

The compiler is handwritten in OCaml.

Usage

The Frog compiler can be built from source using Dune, one of the most widely used build systems for OCaml.

With Dune installed, run the command dune build. A compiled executable _build/default/bin/main.exe will be created (the .exe file extension will be present regardless of operating system used).

About

Experimental functional language and compiler built around the Functional Machine Calculus (a lambda calculus with a unique effects system)

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages