Giters

omelkonian / agda2rust

Rust backend for Agda.

Home Page:https://omelkonian.github.io/agda2rust/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

omelkonian/agda2rust Stargazers