Commits

Breadcrumbs

History for

ondef12d1

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 5, 2021

• Simplify the header in the generated files

  clarus

  committed
  572a28f

Commits on Jan 4, 2021

• Remove the 'Generated by coq-of-ocaml' annotation

  clarus

  committed
  9bfb0e2

Commits on Dec 29, 2020

• Add the pretty-printing of record accesses

  clarus

  committed
  3c97a36

Commits on Nov 4, 2020

• Add a special case for patterns in when clauses which are always true

  clarus

  committed
  0731b5c

Commits on Apr 24, 2020

• Use more synonyms rather than renaming for base types

  clarus

  committed
  c44b59b

Commits on Apr 23, 2020

• Add a configuration mechanism to disable guard or positivity checking

  clarus

  committed
  dd54abf

Commits on Mar 2, 2020

• Use primitive projections by default

  clarus

  committed
  73b9a15

Commits on Feb 10, 2020

• Migrate to Coq 8.11 + various changes on functor application + implicit polymorphic variables

  clarus

  committed
  a1027e1

Commits on Jan 21, 2020

• Add notation for list values

  clarus

  committed
  1d5e4c8

• Open the string scope by default

  clarus

  committed
  87516ae

• Add when clause in the matchs

  clarus

  committed
  9dabd80

• Disable recursivity checks in Coq

  clarus

  committed
  31bb6db

Commits on Jan 10, 2020

• Add 'Generated by coq-of-ocaml' signature

  clarus

  committed
  67d4255

Commits on Aug 28, 2019

• Rename the examples

  clarus

  committed
  482894c

Loading