Updated 2024-06-11 12:27:13 +02:00
Updated 2024-06-11 12:13:38 +02:00
Updated 2024-05-26 13:01:12 +02:00
tiny utility program for type-analysis of shell pipelines based on ladder-typing
Updated 2024-05-12 04:41:25 +02:00
Updated 2024-04-07 18:41:36 +02:00
Updated 2024-02-15 13:17:28 +01:00