1 Repositories
Rust pistachio Libraries
A small, nutty dependently typed language.
pistachio I want to learn about how theorem provers and dependently typed languages are implemented. This is a little repo for experimentation. elabor
8 Nov 11, 2022