Jesper Bengtson issues

Repositories
Issues
Comments

Results 2 issues of


                                            Jesper Bengtson

Added a reifiction function for modular reification without pmaps.

Reify.v invalidates valid syntax

After importing MirrorCore.Reify.Reify the following command stops working: Implicit Arguments id [[A] [B] ...] Implicit Arguments is deprecated and Arguments should be used in stead, but it is still valid...