Top 1,000 Features Creators Events Podcasts Extensions Blog Explorer CSV Download

pie-lang

< >

pie-lang is an open source programming language created in 2018 by David Christiansen.

#737on PLDB 6Years Old
Download source code:
git clone https://github.com/the-little-typer/pie

Pie: A Little Language with Dependent Types. Pie is a Racket language, requiring Racket version 6.5 or newer.


View source

- Build the next great programming language About Resources Acknowledgements Part of the World Wide Scroll