GitHub repository: Heather/Bikini
Primary language: Idris
Description: Bad experiment | C++ Syntax Wrapper