search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Prove eval (quote X) == X for level 0 #22

Closed vikraman closed 3 years ago

vikraman commented 3 years ago

Fixed in 9dc4f6f556c44a069fea73e565f4c2ce2c232499