tsani / jerrington.me

Blog & personal website

http://jerrington.me/

Geek Repo

Github PK Tool

blog hakyll haskell idris

This repository is not active

About

Blog & personal website

http://jerrington.me/

blog hakyll haskell idris

Other

Languages

Language:Idris 42.8%Language:TeX 12.0%Language:CSS 11.4%Language:C 10.9%Language:Haskell 6.6%Language:JavaScript 6.3%Language:HTML 3.8%Language:OCaml 2.5%Language:Python 2.0%Language:Shell 1.0%Language:Makefile 0.6%