LeanRustLisp

Mendeley Data 2026 Dataset Open access

Read full text
Authors: Ihor Kendiukhov
DOI: 10.17632/yh4pjyn5m4
Cited by: 0

Abstract

LeanRustLisp (LRL) is an experimental language that combines: - dependent types and proof-aware checking - ownership and borrow checking - hygienic Lisp-style macros. LRL is currently in alpha. The compiler pipeline is usable, but the language surface, prelude, and backend coverage are still evolving.

Fields of Study & Subjects

Logic programming and type systems Mathematics Computing and Information Processing Teaching and Learning Programming

Publication details

Journal / source
Mendeley Data
Publication date
10 February 2026
Language
EN
Document type
Dataset