Commit graph

3 commits

Author SHA1 Message Date
Edgar bfad93ac5a
ok 2024-01-15 21:36:53 +01:00
Edgar bf13468214
prog 2024-01-15 11:42:24 +01:00
Edgar 8c212d948d
require fully typed integers for now 2023-06-11 12:07:15 +02:00
Renamed from example.ed (Browse further)