Search results

Anomaly: Uncaught exception Reify.TermReify.NotSupported(_). Please report at http://coq.inria.fr/bugs/.

Status: Open.

#39 In gmalecha/template-coq;

· JasonGross opened on Jun 30, 2017

template-coq should handle primitive projections

Status: Open.

#38 In gmalecha/template-coq;

· JasonGross opened on Feb 5, 2017

elaboration/type inference while unquoting

enhancement

Status: Open.

#36 In gmalecha/template-coq;

· aa755 opened on Dec 22, 2016

Use common code in PluginUtils

refactor/cleanup

Status: Open.

#34 In gmalecha/template-coq;

· gmalecha opened on Dec 6, 2016

ExtLib dependency for monads notations

enhancement

question

refactor/cleanup

Status: Open.

#33 In gmalecha/template-coq;

· aa755 opened on Dec 2, 2016

It would be nice if inductives stored their types

enhancement

Status: Open.

#17 In gmalecha/template-coq;

· JasonGross opened on Jul 7, 2015

Quoting function is slow when quoting itself.

enhancement

wontfix

Status: Open.

#11 In gmalecha/template-coq;

· JasonGross opened on Jun 15, 2015

Reification of Universes!

Status: Open.

#1 In gmalecha/template-coq;

· gmalecha opened on Sep 3, 2014