Tartlet

Dependently-typed language (baking little pie) in javascript.

• based on:
  • "The little typer"
    • by Daniel P. Friedman and David Thrane Christiansen
  • "Checking Dependent Types with Normalization by Evaluation: A Tutorial"
    • by David Thrane Christiansen
    • origin tutorial at :: http://davidchristiansen.dk/tutorials/nbe

Modules

• npm install tartlet

• API Docs

Community

• We enforce C4 as collaboration protocol -- The C4 RFC
• Style Guide -- observe the style of existing code and respect it
• Code of Conduct
• Source code -- github
• CI -- travis-ci

Contributing

• Prepare: npm install
• Compile: npx tsc
• Compile and watch: npx tsc --watch
• Run all tests: npx ava
• Run specific test file: npx ava -sv <path to the test file>

License

• GPLv3