200 B
200 B
depsterr.com
sources for depsterr.com. built using jekyll (without a theme).
Depends
- jekyll
- jekyll-feed
- jekyll-katex (needs katex)
- jekyll-agda (needs agda)
sources for depsterr.com. built using jekyll (without a theme).