The interactive book
The Elementary Introduction is a course of fifteen chapters, in English, French, Arabic and Hausa. The last three are drafts: no native speaker has reviewed any of their 35 units yet. It is read in the reader, a page of this site built by running every cell of every chapter in every language: the build is red if one cell fails or one exercise's promise is not kept.
This page is about the course. The platform has a book of its own: Mansour Ayouni, Softanza: The Governed Software Platform of the AI Age (second of the AYOUNI books), AYOUNI, 2026, draft. It is online as a draft: the Softanza book.
The same chapter opens with the same sentence in the four languages, and the same cell runs in each. The French, Arabic and Hausa editions carry, on every chapter and world page, a note in their own language that they await review by a native speaker: 0 of 35 units have been reviewed (the record). It is written on the page, not hidden.
Hausa · Nemo, sannan ka aiwatar
Kowane wurin aiki yana karɓar buƙatu: gidan abinci yana karɓar oda, banki yana karɓar tikiti, kuma buƙata ɗaya takan zo fiye da sau ɗaya.
o1 = new stzList([ "tea", "rice", "tea", "fish", "rice", "tea" ]) ? o1.NumberOfItems() #--> 6
French · Trouver, puis agir
Tout lieu de travail reçoit des demandes : un restaurant reçoit des commandes, une banque reçoit des tickets, et la même demande arrive souvent plusieurs fois.
o1 = new stzList([ "tea", "rice", "tea", "fish", "rice", "tea" ]) ? o1.NumberOfItems() #--> 6
The library's natural layer understands an instruction in the four languages of the course and runs it:
? @@( Naturally("Create a list with [ 5, 3, 5, 1 ] and remove its duplicates").Result() )
? @@( NaturallyIn("ha", "Yi jeri dauke [ 5, 3, 5, 1 ] cire maimaitattu").Result() )
? @@( NaturallyIn("ar", "أنشئ قائمة مع [ 5, 3, 5, 1 ] أزل التكرارات").Result() )[ 5, 3, 1 ] [ 5, 3, 1 ] [ 5, 3, 1 ]
run on 2026-09-30 at 23:10 by demo(opens in a new tab), last line "DEMO: 20 proved, 0 not proved", in 49 seconds
The proof of each chapter
Every cell of the book leads to its proof: one page per chapter says what the course's guard found when it ran that chapter in its four editions, cell by cell, and how to do it again.
- 1 · Find, then apply 8 cells, 7 promises kept · 1 exercises that prove themselves
- 2 · A first sentence 5 cells, 6 promises kept · 1 exercises that prove themselves
- 3 · Read the name as a sentence 7 cells, 10 promises kept · 1 exercises that prove themselves
- 4 · Say it in your language 6 cells, 10 promises kept · 1 exercises that prove themselves
- 5 · One object, any structure 6 cells, 12 promises kept · 1 exercises that prove themselves
- 6 · Walk, ask, produce, act 6 cells, 10 promises kept · 1 exercises that prove themselves
- 7 · Declare what, not how 5 cells, 11 promises kept · 2 exercises that prove themselves
- 8 · Patterns in text 4 cells, 9 promises kept · 1 exercises that prove themselves
- 9 · Patterns in structure 5 cells, 11 promises kept · 1 exercises that prove themselves
- 10 · When code meets cells 5 cells, 9 promises kept · 1 exercises that prove themselves
- 11 · Draw the answer 5 cells, 13 promises kept · 2 exercises that prove themselves
- 12 · Teach a world 5 cells, 9 promises kept · 2 exercises that prove themselves
- 13 · The gap question 6 cells, 10 promises kept · 2 exercises that prove themselves
- 14 · An agent that cannot hurt 7 cells, 14 promises kept · 3 exercises that prove themselves
- 15 · Write a narration 4 cells, 8 promises kept · 3 exercises that prove themselves
run on 2026-10-08 20:15 inside the library at commit 4a184e6f0, in 246.4 s for the whole book