GitHub repository: BRonen/lispoggers
Primary language: Lean
Created: 2025-03-06T14:40:23Z
Description: Static typed lisp language