Skip to content

SATySFi Version 0.0.2

Pre-release
Pre-release
Compare
Choose a tag to compare
@gfngfn gfngfn released this 08 Aug 19:05
· 1028 commits to master since this release
v0.0.2
51687b6

Major difference from v0.0.1:

  • A new operational semantics about optional arguments is introduced
  • The type inference algorithm is made more robust as to handling records and optional arguments
  • The order of the evaluation for function applications performed by VM is fixed
Assets 2
Loading