Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
2026-11-03
| ||
| 14:21 | rm .gitignore Leaf check-in: fad4da805e user: lucius tags: trunk | |
|
2026-02-21
| ||
| 17:17 | long and short forms for module types, modules, record types, records, macros, and routines check-in: d10749febc user: wienski@ya.ru tags: trunk | |
|
2026-02-15
| ||
| 13:00 | new parser, some work towards the vision check-in: 4275619cc2 user: wienski@ya.ru tags: trunk | |
|
2025-08-24
| ||
| 12:45 | split back into crates; simplify lexing; lay groundwork for coroutines and useful metaprogramming check-in: d382200108 user: wienski@ya.ru tags: trunk | |
|
2025-08-16
| ||
| 17:42 | remove Natural and Decimal; make grades tokens on their own; introduce literals check-in: 7fa9a3950c user: wienski@ya.ru tags: trunk | |
|
2025-08-08
| ||
| 11:42 | some progress check-in: 8a8585bde6 user: wienski@ya.ru tags: trunk | |
|
2025-07-27
| ||
| 15:29 | (barely) human-readable errors check-in: 278de36a0b user: wienski@ya.ru tags: trunk | |
|
2025-07-19
| ||
| 17:22 | some correctness proofs Leaf check-in: 75d00ccdaf user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 16:29 | extract `eval` module, retire `close`, use lazy subst check-in: c51809c0b2 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-06-30
| ||
| 14:33 | minor parsing improvements check-in: 17ed6147af user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-06-21
| ||
| 13:13 | transition to staging complete check-in: d6e6e44b33 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-06-19
| ||
| 12:08 | change how varcost works check-in: 846ff89880 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 11:29 | staging implemented, but of course with bugs check-in: bee2026a2d user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-05-07
| ||
| 17:40 | tests and fixes check-in: f7ec155ac5 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 11:12 | switch syntax to marking ident intro again because I didn't like how routine signatures look with dotted field names check-in: 6219aad455 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 08:35 | little things check-in: 0db0a5cf5e user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-03-28
| ||
| 10:44 | first greenery in type system tests check-in: 967c516ee2 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-03-24
| ||
| 17:47 | parsing fixes check-in: 8976174d46 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-03-20
| ||
| 17:51 | implement (.field Type), (.field value) syntax, complaining and fixing bugs along the way check-in: 38fc699609 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-03-19
| ||
| 15:53 | initial implementation of staged type system complete check-in: 6c9e1befdb user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-03-18
| ||
| 12:37 | implement checking phase check-in: e55b15fe28 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-03-15
| ||
| 17:58 | first steps implementing staged type system check-in: b26321810c user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-03-13
| ||
| 14:43 | implement staged syntax (not tested) check-in: 34b66f8c0f user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-03-03
| ||
| 14:44 | implemented much of staged coroana only to decide to change the way parsing is done check-in: 90ccfad1fb user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-02-21
| ||
| 17:49 | some work towards actually runnable interpreter and staging check-in: 614c6303b3 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-02-01
| ||
| 15:24 | fix projections check-in: 7c46abbf80 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 10:24 | don't eval repeat at compile time, more correct substitution & normalisation, simplify code, fix bugs check-in: f0eafb1a49 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-01-02
| ||
| 14:19 | start adding staging check-in: 45dcf753ff user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2025-01-01
| ||
| 10:05 | ditch subtyping check-in: 93dd028943 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2024-12-31
| ||
| 14:30 | change nucleu's representation, hopefully lowering memory footprint check-in: 5f7d20362f user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2024-12-29
| ||
| 15:39 | implement discard in destructuring check-in: 72114cc0aa user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2024-12-28
| ||
| 20:02 | support destructuring in application, fix bugs check-in: c732d8918d user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 13:11 | [red] nested destructuring check-in: b5a2daab03 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2024-12-27
| ||
| 19:10 | [red] factor out pattern binding check-in: a3ab30bbca user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 12:26 | [red] support basic destructuring, expose another eval bug check-in: d1b92fd1e1 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2024-12-25
| ||
| 12:37 | use smallvec to make some buffers cheaper check-in: 316c0adc85 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2024-12-23
| ||
| 11:47 | update "documentation" to fit the new record syntax check-in: 7fa26f6ee5 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2024-12-22
| ||
| 16:15 | change record syntax check-in: 89d942cd11 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 14:45 | update "documentation" check-in: 1d6f98c7f1 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 12:11 | clean up a bit of cruft check-in: 5b1416b7f6 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 11:49 | all green check-in: db169c3c9b user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2024-12-21
| ||
| 17:34 | some test greenery check-in: 49cd2d3d6d user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2024-12-20
| ||
| 17:19 | fix some errors check-in: c08c0c75c2 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 16:36 | introduce dependency analysis check-in: e4895b9797 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
|
2024-12-19
| ||
| 19:18 | factor out some common code in contexts check-in: 84c7443261 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 18:35 | bookkeeping check-in: 48eecd2612 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 17:32 | thinner runtime env impls check-in: 883e660f22 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 16:18 | thinner typing ctx impls check-in: aac005a658 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 13:14 | bookkeeping check-in: 88f29e896e user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |
| 13:10 | fix free/bound distinction check-in: b12a40b0f6 user: wienski@ya.ru tags: trunk, trunk.sync-conflict-20250807-165519-NREMD32 | |