Updated 2023-07-10 12:04:36 +00:00
Updated 2021-07-14 08:16:54 +00:00
Updated 2023-08-20 10:10:09 +00:00
Updated 2023-02-16 01:44:07 +00:00
An implementation of bidirectional type checking for a SystemF-like language
Updated 2024-04-21 23:50:52 +00:00
Updated 2020-12-07 12:01:04 +00:00
Updated 2021-01-14 20:26:29 +00:00
Updated 2023-01-26 15:36:59 +00:00
Updated 2023-05-18 20:25:30 +00:00
dumbest name for a backup software i will probably never finish anyway
Updated 2023-06-13 10:47:29 +00:00
Updated 2023-08-10 17:48:02 +00:00
Keeps your Discord server event list up to date with CTFtime
Updated 2024-01-10 01:54:35 +00:00