tartlet

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

Usage no npm install needed!

<script type="module">
  import tartlet from 'https://cdn.skypack.dev/tartlet';
</script>

README

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