GitHub repository: 1inguini/48scheme.idr
Primary language: Idris
Created: 2021-01-29T13:51:01Z
Description: r5rs subset in Idris