Skip to content

Releases: mmhelloworld/idris-jvm

v1.0-SNAPSHOT-20190605

06 Jun 03:54
@mmhelloworld mmhelloworld
v1.0-SNAPSHOT-20190605
6310440
Compare
Choose a tag to compare
v1.0-SNAPSHOT-20190605 
Release v1.0-SNAPSHOT-20190605
Loading

v1.0-SNAPSHOT-20190525 for Idris 1.3.1

26 May 03:39
@mmhelloworld mmhelloworld
v1.0-SNAPSHOT-20190525
b830d58
Compare
Choose a tag to compare
v1.0-SNAPSHOT-20190525 for Idris 1.3.1
  • Add socket support for Blodwen
  • Fix #96, Fix #99
Loading

v1.0-SNAPSHOT-20181215

15 Dec 22:31
@mmhelloworld mmhelloworld
v1.0-SNAPSHOT-20181215
571b742
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v1.0-SNAPSHOT-20181215 
Release v1.0-SNAPSHOT-20181215
Loading

v1.0-SNAPSHOT-20181208

08 Dec 21:18
@mmhelloworld mmhelloworld
v1.0-SNAPSHOT-20181208
859f9cd
Compare
Choose a tag to compare
v1.0-SNAPSHOT-20181208
Loading

v1.0-SNAPSHOT-20181207

07 Dec 20:14
@mmhelloworld mmhelloworld
v1.0-SNAPSHOT-20181207
7ce43d9
Compare
Choose a tag to compare
v1.0-SNAPSHOT-20181207
Loading

v1.0-SNAPSHOT-20181202 for Idris 1.3.1

03 Dec 02:02
@mmhelloworld mmhelloworld
v1.0-SNAPSHOT-20181202
ba5c8ec
Compare
Choose a tag to compare
v1.0-SNAPSHOT-20181202 for Idris 1.3.1
Loading

v1.0-SNAPSHOT-20181202 Beta 1 for Idris 1.3.1

02 Dec 21:05
@mmhelloworld mmhelloworld
v1.0-SNAPSHOT-20181202.beta.1
8724705
Compare
Choose a tag to compare
v1.0-SNAPSHOT-20181202 Beta 1 for Idris 1.3.1
  • Fix generated main function for simple programs
Loading

v1.0-SNAPSHOT-20181129 for Idris 1.3.1

29 Nov 13:18
@mmhelloworld mmhelloworld
v1.0-SNAPSHOT-20181129
0021f80
Compare
Choose a tag to compare
v1.0-SNAPSHOT-20181129 for Idris 1.3.1
  • Replace invalid release package
Loading

v1.0-SNAPSHOT-20181127 for Idris 1.3.1

28 Nov 03:53
@mmhelloworld mmhelloworld
v1.0-SNAPSHOT-20181127
0021f80
Compare
Choose a tag to compare
v1.0-SNAPSHOT-20181127 for Idris 1.3.1
  • Initial support for Blodwen
  • Implement shift left and shift right for BigInteger, LSystemInfo, LCrash
  • Fix generated package names not to clash with classes
  • Add IdrisJvm.Data.Buffer module, equivalent to Idris C back end Data.Buffer module
  • Add support for IORef
  • Add IdrisJvm.File module, equivalent to Idris C back end Prelude.File module
Loading

Idris JVM 1.0-SNAPSHOT-20181103-2 for Idris 1.3.1

03 Nov 19:27
@mmhelloworld mmhelloworld
v1.0-SNAPSHOT-20181103-2
6e8683a
Compare
Choose a tag to compare
Idris JVM 1.0-SNAPSHOT-20181103-2 for Idris 1.3.1 
v1.0-SNAPSHOT-20181103-2

Release v1.0-SNAPSHOT-20181103-2
Loading