strobe
strobe copied to clipboard
implement abstract types
- Parse abstract
- Figure out representation in type-environment