Code

State monad with funext#1

Code

Open

pedagand wants to merge 5 commits intoCoqHott:masterCoqHott/cubical_forcing:masterfrom pedagand:masterpedagand/cubical_forcing:masterCopy head branch name to clipboard

+264-11

Commits

Commits on Feb 16, 2021

• Stack infra for reproducibility

  

  Pierre-Évariste Dagand

  committed
  4ed9596

  Copy full SHA for 4ed9596

• Avoid clash with stdlib on product

  

  Pierre-Évariste Dagand

  committed
  b12726a

  Copy full SHA for b12726a

• Resurrect concatId

  

  Pierre-Évariste Dagand

  committed
  87ecb65

  Copy full SHA for 87ecb65

• State monad

  

  Pierre-Évariste Dagand

  committed
  c467484

  Copy full SHA for c467484

• Document use

  

  Pierre-Évariste Dagand

  committed
  0c51afb

  Copy full SHA for 0c51afb