Johan B.W. de Vries 8a47c42e6b Moves the prelude to runtime ...

Previously, it was hardcoded at 'compile' time (in as much
Python has that). This would make it more difficult to add
stuff to it. Also, in a lot of places we made assumptions
about prelude instead of checking properly.

2025-05-29 15:39:20 +02:00

..

integration

Moves the prelude to runtime

2025-05-29 15:39:20 +02:00

__init__.py

ideas [skip-ci]

2021-04-03 20:40:11 +02:00