GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

Should auto-generated schemes be moved inside there own modules/records

#22

· Matafou opened

on Apr 17, 2020

Compatibility with std++ ?

#20

· spitters opened

on Mar 21, 2020

Universes

#17

· Zimmi48 opened

on Mar 25, 2019

Finite maps and finite sets

#15

· jakobbotsch opened

on Mar 12, 2019

discussion of modularity mechanisms

#13

· andres-erbsen opened

on Dec 6, 2018

Make the roadmap of the library more explicit and add dates

#12

· Zimmi48 opened

on Nov 8, 2018

Policy for the superficial layout (spacing, newlines, ...).

#11

· herbelin opened

on Sep 28, 2018

Plan for backwards compatibility and deprecation

#10

· langston-barrett opened

on Jul 20, 2018

What should go in stdlib?

#7

· gmalecha opened

on Jun 24, 2018

Strict behavior for hint databases

#6

· Zimmi48 opened

on Jun 8, 2018

all functions should come with parametricity proofs

#5

· andres-erbsen opened

on Jun 6, 2018

one smallest partial equivalence relation for each type

#4

· andres-erbsen opened

on Jun 5, 2018

0