search

miking-lang / miking

Miking - the meta viking: a meta-language system for creating embedded languages
Other
51 stars 31 forks source link

Pure arrays #846

Closed david-broman closed 3 months ago

david-broman commented 6 months ago

This is a small library with arrays without side effects. Random access operations have O(n log n) complexity, with a rather small constant factor.

marten-voorberg commented 6 months ago

The PR description says O(n log n) but should be O(log n) for access operations.