Languages Features Creators Calendar CSV Resources Blog About Pricing Add Language
GitHub icon


pie-lang - Programming language

< >

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

#1190on PLDB 5Years 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 路 dax.html

View source

- Build the next great programming language Search v2023 Day 205 Docs Acknowledgements Traffic Traffic Today Mirrors GitHub