mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages

Apache License 2.0

29 stars 0 forks source link

Closed cstml closed 1 year ago

cstml commented 1 year ago

Scope

From comments to PR #10:

[x] #37
[x] consider using monomorphic Kinds - resolve for all remaining variables in Kinds.

Additionally:

bladyjoker commented 1 year ago

Done