Search results

Support for primitive projections

Status: Open.

#31 In tchajed/coq-record-update;

· clarus opened on Feb 4, 2022

Obtaining eta expansion of constructor without typeclasses

Status: Open.

#19 In tchajed/coq-record-update;

· samuelgruetter opened on Mar 23, 2021

make COQPATH compatible

Status: Open.

#15 In tchajed/coq-record-update;

· samuelgruetter opened on Dec 5, 2020

precedence between application and record update?

Status: Open.

#14 In tchajed/coq-record-update;

· samuelgruetter opened on Oct 7, 2020

Relationship to Lenses?

Status: Open.

#12 In tchajed/coq-record-update;

· gmalecha opened on Aug 2, 2020