• Name: Lambada Calculus
• Main language: Kotlin
• Build system: Gradle
• Mocks lib: Mockito-Kotlin
• Assertions lib: Kluent

Info about Kotlin & cool Kotlin libs: Awesome Kotlin

./gradlew run

./invm [parameters list]

./gradlew test

You can build distribution zip with all dependencies and start script in this way:

./gradlew distZip

Output you can find in ./build/distribution/icfp2017.zip

Inside this zip:

icfp2017
├── bin
│   ├── icfp2017
│   └── icfp2017.bat
└── lib
    ├── annotations-13.0.jar
    ├── icfp2017.jar
    ├── kotlin-stdlib-1.1.3-2.jar
    ├── kotlin-stdlib-jre7-1.1.3-2.jar
    └── kotlin-stdlib-jre8-1.1.3-2.jar

To run just unzip the package and execute:

icfp2017/bin/icfp2017 [parameters list]

To build submit archive use assembleSubmitArchive

IntellyJ Idea Community Edition (Free & OSS)

Import project as a Gradle project.