GitHub repository: mmhelloworld/idris-spring-boot-example
Primary language: Idris
Created: 2018-10-26T05:01:37Z
Description: Idris Spring Boot example