- \agda\ Agda proof of lemma 6 and 8
- \haskell\ PureSpark specification
- \spark\ The Vertex Coloring example
guluchen/PureSpark
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published