GitHub repository: xieyuheng/tartlet
Primary language: TypeScript
Created: 2019-06-09T15:25:04Z
Description: dependently-typed language (baking little pie) in javascript