https://github.com/stickypiston/pie-ts

WIP The Little Typer's Pie interpreter in Typescript
https://github.com/stickypiston/pie-ts

dependent-types pie programming-language

Last synced: 2 days ago
JSON representation

WIP The Little Typer's Pie interpreter in Typescript

• Host: GitHub
• URL: https://github.com/stickypiston/pie-ts
• Owner: stickyPiston
• Created: 2023-05-03T10:13:01.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-09-16T17:07:38.000Z (about 1 year ago)
• Last Synced: 2023-09-17T03:25:15.651Z (about 1 year ago)
• Topics: dependent-types, pie, programming-language
• Language: TypeScript
• Homepage:
• Size: 198 KB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project