midori programming language download

midori programming language

midori programming language Description
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.
midori programming language Features

easily re-hostable to a new machine/os

C code intergration (via libFFI) (eventually)

simple, clean, and consistent sytax

easy extension of syntax

uses libGMP

fast

Download:Click Here