The avatar for @bryangingechen
Bryan Gin-ge Chen
here to learn
Published
Snacks
Edited
Feb 1, 2019
7 stars
Snacks
Stepping through currying in Lean
Tiling an octagon with half-squares and A-size rectangles
Labeling connected componentsDLA + CA rules!
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
arrI = {
if (navigator.userAgent.match('HeadlessChrome'))
return [];
return substMany(15, octagon, octagonRuleI, true)
}
Insert cell
arrII = {
if (navigator.userAgent.match('HeadlessChrome'))
return [];
chooseRule.rule;
return substMany(6, octagon, octagonRuleII, true);
}
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell

Purpose-built for displays of data

Observable is your go-to platform for exploring data and creating expressive data visualizations. Use reactive JavaScript notebooks for prototyping and a collaborative canvas for visual data exploration and dashboard creation.
Learn more