Commit Graph

6 Commits

Author SHA1 Message Date
Patrick Stevens
adf497c5db Tidy up a bit more (#156) 2024-06-01 15:57:53 +01:00
Patrick Stevens
35cd94cba1 Add JSON serialisation of DUs (#144) 2024-05-30 12:00:55 +01:00
Patrick Stevens
7b49505064 Absolute bare-bones support for generics in cata (#101) 2024-02-19 00:57:14 +00:00
Patrick Stevens
3209372b5b Add another instance of MyList (#100) 2024-02-18 14:13:34 +00:00
Patrick Stevens
1bbbf4bd06 Fix a bug in the cata (#98) 2024-02-18 14:04:59 +00:00
Patrick Stevens
3ea1c7ab79 Add catamorphism generator (#97) 2024-02-17 23:16:54 +00:00