gallais / potpourri

Where my everyday research happens

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

potpourri

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

About

Where my everyday research happens

License: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%