Giters

csabahruska / IdrisExtSTGCodegen

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Languages

Language:JavaScript 41.4%Language:HTML 27.3%Language:Idris 15.4%Language:SCSS 12.1%Language:Haskell 3.5%Language:CSS 0.3%Language:Makefile 0.0%