GitHub repository: yubrot/idrlisp
Primary language: Idris
Created: 2020-01-08T14:23:04Z
Description: A tiny Lisp-1 implementation