ts-rust-zig-deez icon indicating copy to clipboard operation
ts-rust-zig-deez copied to clipboard

added lean (lean4) language

Open Pesky01 opened this issue 1 year ago • 0 comments

Closed #109 in favor of this. Lexer/repl is completed, ready to be merged.

Pesky01 avatar Jun 26 '23 22:06 Pesky01