POLYRPC-0.3

• A polymorphic location inference based on bidirectional type checking
• Syntactic sugar for location annotations (particularly for location independent functions)

POLYRPC-0.2.2

• Monomorphization
• Fixed some bugs in compiling and verifying primitives.

POLYRPC-0.2.1

• Tutorial on the syntax without type abstractions/applications for bidirectional typechecking

POLYRPC-0.2.0

• A bidirectional type checking
  : Not allowed to write type abstractions/applications but should write location abstractions/applications explicitly in terms.

POLYRPC-0.1.0

v0.1.0

Update README.md