# stahl

Branch Chooser Goes Here

Clone URL:
https://foundry.remexre.xyz/projects/stahl.git

.gitignore | ... | a year ago |

.travis.yml | travisfix | a year ago |

.travis | Puts proofs under testing. | a year ago |

LICENSE-APACHE | ... | a year ago |

LICENSE-MIT | ... | a year ago |

Makefile | ... | a year ago |

README.md | ... | a year ago |

bootstrap | ... | a year ago |

proofs | ... | a year ago |

src | ... | a year ago |

# stahl

A dependently typed Lisp with algebraic effects.

## Implementation Goals

- Syntax
- [ ] Define
- [ ] Lexer
- [ ] Parser

- Core Language
- [ ] Define
- [ ] Typeck
- [ ] Codegen
- [ ] Prove progress
- [ ] Prove preservation
- [ ] Prove totality
- [ ] Prove codegen correctness

- Effects
- [ ] Typeck
- [ ] Codegen
- [ ] Prove progress
- [ ] Prove preservation
- [ ] Prove totality
- [ ] Prove codegen correctness

## License

Licensed under either of

at your option.

### Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.