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

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.