Vlad L

https://cstml.github.io [email protected]

Sheffield, United Kingdom λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"

Repositories
Issues
Comments

Results 1 issues of


                                            Vlad L

Compiler: Class Definition/Instance Kind Checking

1. Add kind checking to Class Instances. 2. Add kind checking to Class Definitions.

compiler