Questions Columns Rows
GitHub icon

pie-lang

pie-lang - Programming language

< >
home code edit

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

Source code:
git clone https://github.com/the-little-typer/pie
#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 路 feedback@pldb.com 路 Logout