Commit Graph

2 Commits

Author SHA1 Message Date
trans_soup bbf9b0c919 add `id`, `omega`, and `K` to prelude. 2023-11-11 18:37:01 +01:00
trans_soup ebcf350c45 create `prelude` "module". 2023-11-11 18:34:58 +01:00