ayberkt/rafine
λ-calculus with ⊏, ≤, ∧, ∨.
GitHub repository with 5 stars and 0 forks.
Language: Standard ML
Latest metric snapshot
2026-06-15: 5 stars and 0 forks.
λ-calculus with ⊏, ≤, ∧, ∨.
GitHub repository with 5 stars and 0 forks.
Language: Standard ML
2026-06-15: 5 stars and 0 forks.