search

ThePrimeagen / ts-rust-zig-deez

605 stars 160 forks source link

added lean (lean4) language #267

Open Pesky01 opened 1 year ago

Pesky01 commented 1 year ago

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