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.
- 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
Be the first to post a review of midori programming language!