TranslateBabelJapan/lispwebtales
Markdown source for my book Lisp Web Tales
Public GitHub Catalog
Discovered Sep 28, 2026
TranslateBabelJapan / book
A textbook on informal homotopy type theory
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#12795435GitHub System ID
TranslateBabelJapanOrganization / User
PublicVisibility
ActiveCatalog Status
More from TranslateBabelJapan
TranslateBabelJapan/elisp-intro-ja
Introduction to Emacs Lisp Programming （Emacs Lisp プログラミング入門）日本語訳
TranslateBabelJapan/guides
Documentation guides and tutorials for Clojure. Various authors.
TranslateBabelJapan/fantasy-land
Specification for interoperability of common algebraic structures in JavaScript