Questions Columns Rows
GitHub icon


pie-lang - Programming language

< >

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

Source code:
git clone
#1183on PLDB 5Years Old

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 Search Add Language Features Creators Resources About Blog Acknowledgements Stats Sponsor Traffic Traffic Today Day 267 Logout