Hirrolot@hirrolotJust remembered that I implemented GADTs in pure C some time ago: https://github.com/Hirrolot/poica/blob/8a089687a057dd403c67fabc708b17c333802007/examples/int_bool_ast.c…. The most terrifying fact is that it worked somehow...5:37 PM · Feb 6, 2021·Twitter Web App2 Likes
