Generic Show instance for Haskell Datatypes, inspired by Rust Debug.
Updated 2025-08-21 20:07:52 +02:00
Parse entire .class files from Java, multi-stage verification.
Updated 2025-08-21 12:13:54 +02:00
Coerce types in Haskell if they have the same Rep
Updated 2025-05-06 09:07:26 +02:00
Memoization using Lazy Infinite trees indexed by natural numbers
Updated 2025-05-06 09:07:26 +02:00