Skip to content

1.0-SNAPSHOT-20180217.beta.2 for Idris 1.2.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@mmhelloworld mmhelloworld released this 17 Feb 23:18
v1.0-SNAPSHOT-20180217.beta.2
447dc80
  • optimize idris constructor creation, property access
  • compile Idris Bool to java boolean
Assets 3
Loading