argumentcomputer radiya.rs issues - Githubissues

argumentcomputer / radiya.rs

A Rust implementation of the Lean kernel

MIT License

11 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

move yatima-lang to radiya.rs

#7 mpenciak closed 1 year ago
0
Porting over CLI and Repl

#6 johnchandlerburnham opened 2 years ago
0
Document IPLD based export format

#5 johnchandlerburnham opened 2 years ago
0
Frontend Syntax

#4 johnchandlerburnham opened 2 years ago
0
no_std, WASM compilation, mimalloc

#3 johnchandlerburnham opened 2 years ago
0
Fastest Reduction of Functional Programs

#2 johnchandlerburnham opened 2 years ago
1
Jcb/parser

#1 johnchandlerburnham closed 3 years ago
0