Kind 2 VS Code Extension 0.12.0

daniel-larraz released this 27 Feb 00:12

· 1 commit to main since this release

1e19386

Update Kind 2 to version 2.3.0
Update buttons for type decls
Add syntax highlighting for polymorphism
Add 'opaque' and 'transparent' keywords
Fix patterns for 'param'

Assets 2