Skip to content

POLYRPC-0.3

Latest
Compare
Choose a tag to compare
@kwanghoon kwanghoon released this 01 Oct 13:48
· 31 commits to master since this release
  • A polymorphic location inference based on bidirectional type checking
  • Syntactic sugar for location annotations (particularly for location independent functions)