diff options
| author | eunhhu <[email protected]> | 2026-09-25 13:01:41 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-25 13:01:41 +0100 |
| commit | c61aff54852d6f2fa63949950022e7a8ede1896c (patch) | |
| tree | 010e56f278f9ee72fcf090cfa5e0b1fd2c86d3a3 /README.md | |
| parent | 030048d39c8ce353cca8842a9ad0ab2765290e59 (diff) | |
| download | aup-c61aff54852d6f2fa63949950022e7a8ede1896c.tar.gz aup-c61aff54852d6f2fa63949950022e7a8ede1896c.zip | |
Document the text language as implemented
Record v0b as complete: which text syntax exists, what is still missing
(multi-line strings, formats, graphemes, words), the insertion rule for
cursors, and how the text model and parity checks verify it.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -9,17 +9,19 @@ aup는 [Pure](/srv/git/pure.git) 런타임을 위한 **언어와 툴체인**이� | **aup** | 언어와 툴체인. 소스 → 진단 → Pure 모듈 | | [Vega](/srv/git/vega.git) | aup와 Pure 위의 인터페이스 구현자(TUI·CLI·GUI·NUI) | -상태: v0a(scalar 상태·키 입력·원자적 이벤트·보기)와 v0b의 바이트·영속 문서·메시지·응답 동작. -다음은 text와 커서. +상태: v0a(scalar 상태·키 입력·원자적 이벤트·보기)와 v0b(바이트·영속 문서·메시지·응답·text·커서) 동작. +다음은 v0c(레코드·리스트·`index of`·순수 함수·모듈). [언어 v0](docs/design/001-language-v0.md). ```sh make # build/aup build/aup build examples/counter.aup -o counter.pmod printf 'down tap\nup tap\nshow\n' | ../pure/prototypes/connections/build/pure-run counter.pmod +build/aup build examples/notes.aup -o notes.pmod +printf 'type typed %s\ndown left\nshow\n' "$(printf '안녕' | xxd -p)" | ../pure/prototypes/connections/build/pure-run notes.pmod build/aup build examples/editor.aup -o editor.pmod ../pure/prototypes/connections/build/pure-edit-module --module editor.pmod --store /tmp/docs show note -make check # Pure 검증, 결정성, 진단, 워크벤치·기존 편집기와의 대조 +make check # Pure 검증, 결정성, 진단, 워크벤치·기존 편집기·text 참조 모델과의 대조 ``` `make check`는 옆의 Pure 체크아웃(`PURE=../pure/prototypes/connections`)의 검증기와 시험 호스트를 쓰고, |