pigworker / EGTBS

being the introduction to co-de-Bruijn metasyntax

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Everybody's Got To Be Somewhere

being the introduction to co-de-Bruijn metasyntax

About

being the introduction to co-de-Bruijn metasyntax

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


Languages

Language:Agda 66.0%Language:TeX 33.7%Language:Makefile 0.2%Language:Haskell 0.1%