Johan B.W. de Vries 1afa3efc31 Reimplements casting and foldl
Probably not 100% type checked yet.

Also, fixed logical right shift; standard says the type
is different.
2022-12-26 13:11:36 +01:00
..
2022-12-26 13:11:36 +01:00
2022-07-09 12:35:32 +02:00
2022-12-24 20:00:24 +01:00
2022-12-25 14:30:21 +01:00
2022-12-26 13:11:36 +01:00
2022-12-24 17:43:05 +01:00
2022-12-18 15:05:41 +01:00
2022-12-26 13:11:36 +01:00