A dependently typed language for proofs that you can implement in one day | Lancern's Treasure Chest

15:14 · Oct 4, 2021 · Mon

A dependently typed language for proofs that you can implement in one day https://github.com/caotic123/PomPom-Language

GitHub - caotic123/PomPom-Language: The cuteness implementation of a dependently typed language.

GitHub - caotic123/PomPom-Language: The cuteness implementation of a dependently typed language.

The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language

Powered by BroadcastChannel & Sepia