stahl

Branch Chooser Goes Here
Clone URL: https://foundry.remexre.xyz/projects/stahl.git
.gitignore ... 7 months ago
.travis.yml travisfix 7 months ago
.travis Puts proofs under testing. 7 months ago
LICENSE-APACHE ... 7 months ago
LICENSE-MIT ... 7 months ago
Makefile ... 7 months ago
README.md ... 7 months ago
bootstrap ... 7 months ago
proofs ... 7 months ago
src ... 7 months ago

stahl

Build Status

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.