ayberkt / rafine

λ-calculus with ⊏, ≤, ∧, ∨.

Geek Repo

Github PK Tool