search

mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages
https://mlabs-haskell.github.io/lambda-buffers/
Apache License 2.0
29 stars 0 forks source link

Compiler: Class Definition/Instance Kind Checking #62

Open cstml opened 1 year ago

cstml commented 1 year ago
  1. Add kind checking to Class Instances.
  2. Add kind checking to Class Definitions.