Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Tags: gzoom13/idris-jvm

Tags

v1.0-SNAPSHOT-20190923

Toggle v1.0-SNAPSHOT-20190923's commit message 
Release v1.0-SNAPSHOT-20190923

v1.0-SNAPSHOT-20190922

Toggle v1.0-SNAPSHOT-20190922's commit message 
Release v1.0-SNAPSHOT-20190922

v1.0-SNAPSHOT-20190914

Toggle v1.0-SNAPSHOT-20190914's commit message 
mmhelloworld#104 Enhancements, bug fixes to support Idris 2

v1.0-SNAPSHOT-20190728

Toggle v1.0-SNAPSHOT-20190728's commit message 
v1.0-SNAPSHOT-20190728 for Idris 1.3.2

* Support for Idris 2
* Upgrade to Idris 1.3.2

v1.0-SNAPSHOT-20190605

Toggle v1.0-SNAPSHOT-20190605's commit message 
Release v1.0-SNAPSHOT-20190605

v1.0-SNAPSHOT-20190525

Toggle v1.0-SNAPSHOT-20190525's commit message 
Fix mmhelloworld#96, mmhelloworld#99, Support socket for Blodwen

v1.0-SNAPSHOT-20181215

Toggle v1.0-SNAPSHOT-20181215's commit message 
Release v1.0-SNAPSHOT-20181215

v1.0-SNAPSHOT-20181208

Toggle v1.0-SNAPSHOT-20181208's commit message 
Release v1.0-SNAPSHOT-20181208

v1.0-SNAPSHOT-20181207

Toggle v1.0-SNAPSHOT-20181207's commit message 
Release v1.0-SNAPSHOT-20181207

v1.0-SNAPSHOT-20181202

Toggle v1.0-SNAPSHOT-20181202's commit message 
Release v1.0-SNAPSHOT-20181202