Giters

conal / blag

Agda blog

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Agda blog

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:HTML 89.2%Language:JavaScript 8.1%Language:CSS 1.9%Language:Haskell 0.4%Language:Agda 0.3%Language:Shell 0.1%Language:Makefile 0.0%