Halkyon Learn – a sovereignty-respecting spaced-repetition learning tool.
- Dart 89%
- JavaScript 10.5%
- C++ 0.2%
- CMake 0.2%
| Filename | Latest commit message | Latest commit date |
|---|---|---|
Tizian 「ティツィアーン」
15d8168834
The gRPC deck is 336 cards about a contract-first protocol, and the contract is always a `.proto` file. Thirteen of its code blocks hold one, and every chapter's explanation hangs off the service or message definition beside it — but `protobuf` was in neither `_grammars` nor `kCodeBlockLanguages`, so those blocks rendered as unstyled monospace and the block language menu offered no way to tag them as anything but `text`. A field number is easy to lose in grey when it is the whole point of the line. The grammar already ships in `highlight`, so this is one import, one map entry, and one row in each of the two menu lists — the same three touchpoints as #840, in the same relative position: beside `sql`, ahead of the data formats, since a `.proto` file is a schema rather than a general-purpose language. It is also the cheapest grammar added so far. `protobuf.dart` is 978 bytes of rule set, against the 31 KB the four Apple-platform and build-file grammars cost in #840 — the language has a dozen keywords and no expression syntax to speak of. `code_highlighting_test.dart` gains the round-trip check the group already applies to every other newly registered grammar: the coloured runs must rejoin to the source character for character, and at least one must carry a colour, so a silent fallback to plain text fails rather than passing as "rendered". The fixture is a service with a unary and a server-streaming method plus a message with numbered and `repeated` fields, which is the shape most of the deck's blocks take. The notebook's own registry in `code_editor_config.dart` stays untouched, as with the last batch: those languages are the ones Judge0 can execute, and there is nothing to execute in an IDL. Reviewed-on: https://codeberg.org/project-halkyon/halkyon-learn/pulls/841 |
||
| .env | ||
| .vscode | ||
| android | ||
| assets | ||
| docs | ||
| ios | ||
| lib | ||
| linux | ||
| scripts | ||
| test | ||
| tool | ||
| web | ||
| windows | ||
| .fvmrc | ||
| .gitignore | ||
| .metadata | ||
| analysis_options.yaml | ||
| CONTRIBUTING.md | ||
| l10n.yaml | ||
| LICENSE | ||
| pubspec.lock | ||
| pubspec.yaml | ||
| README.md | ||
| SECURITY.md | ||
halkyon-learn
Halkyon Learn – a sovereignty-respecting spaced-repetition learning tool.
📐 Architecture: docs/architecture/ explains how the
app (and the wider four-repo system) is built and why — offline-first sync,
the account-keyed dependency graph, persistence, routing, the editor, security,
and a set of decision records (ADRs). Start at
docs/architecture/README.md.