GitHub - ajhamwood/elabzoo_js: Working through Andras Kovacs' elaboration zoo in Javascript · GitHub

Name		Name	Last commit message	Last commit date
examples		examples
fonts		fonts
js		js
index.html		index.html
readme.md		readme.md

Repository files navigation

For now, working through reimplementing Andras Kovacs' elaboration zoo in Javascript.

Elaboration zoo

About

Working through Andras Kovacs' elaboration zoo in Javascript

ajhamwood.github.io/elabzoo_js

javascript typetheory

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages