search

ku-fpg / data-reify

Reification of data structures using observable sharing
Other
28 stars 7 forks source link

make sure the worked out examples are buildable! #15

Closed cartazio closed 1 year ago

cartazio commented 1 year ago

i started some hacking to see what minimal small change would allow current data-reify to support typed syntaxes, then i realized that the current cabal file doesn't even build the examples we have! :)

cartazio commented 1 year ago

ok, theres probably more CPP needed for 7.0.x through 7.10, but as a start thats not terrible