Skip to content

v0.2.0 - Public

Choose a tag to compare

View all tags
@dorchard dorchard released this 15 Jun 13:06
· 162 commits to main since this release
v0.2.0
4a3112d

And we're live...

  • Pythonic syntax applied to types
  • Typing now includes implicit types with type dependency (for resolving Float which has kind {d : Descriptor} -> d -> Type
  • REPL
Assets 3
Loading