PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

pie-lang

pie-lang

< >

pie-lang is a programming language created in 2018 by David Christiansen.

#1142on PLDB 4Years Old 758Users
0Books 0Papers

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


umka.html 路 pie-lang.html 路 mako.html

View source

PLDB - Build the next great programming language 路 v2022 Day 93 Docs Build Acknowledgements Traffic Today Traffic Trends Mirrors GitHub feedback@pldb.com