gallais / potpourri

Where my everyday research happens

Geek Repo

Github PK Tool

potpourri

Where everyday research happens. Unmaintained code. Read at your own risks.

About

Where my everyday research happens

GNU General Public License v3.0

Languages

Language:Agda 49.0%Language:TeX 32.4%Language:Idris 11.5%Language:Haskell 5.9%Language:Makefile 0.5%Language:OCaml 0.3%Language:Coq 0.1%Language:Shell 0.1%Language:sed 0.1%Language:Rust 0.1%Language:JavaScript 0.0%Language:C 0.0%Language:Standard ML 0.0%