havenSeptember 23, 2025 ยท View on GitHub haven haven is a ML-like language hoping to be used for writing backends. Target R5RS Scheme, tested on Chez and Gambit. For introduction, see examples/. Warning Work in progress.