Giters

magnostherobot / maglibs

Random Idris 2 Hacking

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Random Idris 2 Hacking

Languages

Language:Idris 97.1%Language:C 2.0%Language:Shell 0.6%Language:Makefile 0.3%