Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 11, 2024

• [ re agda#354 ] Erase type arguments of mapDec

  jespercockx

  committed
  424d31a

Commits on Sep 10, 2024

• [ re agda#354 ] Do not check canonicity of erased instances

  jespercockx

  committed
  a610207

Commits on Sep 7, 2024

• New (simpler but more robust) implementation of canonicity check

  jespercockx

  committed
  03c9aae

Commits on Aug 15, 2024

• add missing import to AllFailTests.agda

  flupe

  committed
  0467b26

Commits on Aug 14, 2024

• remove imports of Haskell.Prim.Function

  flupe

  committed
  fb73f2d

Commits on Jul 27, 2024

• Fix typo

  jespercockx

  committed
  7753783

• <$>, <&>, $>, void, and =<< are not class methods

  jespercockx

  committed
  71c06ba

Commits on Jul 26, 2024

• [ re agda#342 ] Proper compilation of projections from tuple records

  jespercockx

  committed
  185dcca

• [ re agda#342 ] Proper compilation of projections from tuple records

  jespercockx

  committed
  b0a185d

• Erase some more predicates in the library

  jespercockx

  committed
  b3e400b

• Add proper import rules for first, second, and (***)

  jespercockx

  committed
  97866ba

• Add @0 annotation to two predicates

  jespercockx

  committed
  66f9cf8

• Move definitions from Prim.Function to Law.Function, delete Prim.Function

  jespercockx

  committed
  c29b0d6

Commits on Jul 24, 2024

• Define Rezz in terms of \exists

  jespercockx

  committed
  83ce549

Commits on Jul 23, 2024

• Remove special handling of tuple types in the prelude

  jespercockx

  committed
  3ca7265

• [ first part of agda#105 ] Add support for compiling records to Haskell tuples

  jespercockx

  committed
  44a82e2

• Whitespace

  jespercockx

  committed
  4e7afa4

Commits on Jul 22, 2024

• [ fix agda#340 ] Compile pattern lambda to regular lambda if all proper patterns are erased

  jespercockx

  committed
  f0bd92a

Commits on Jul 10, 2024

• Run the makefile to generate a proper golden test

  

  PPKFS

  authored and

  jespercockx

  committed
  0fc20cc

• Add trailing newlines and extract the postModule hook to a function

  

  PPKFS

  authored and

  jespercockx

  committed
  15386de

• Use better var names

  

  PPKFS

  authored and

  jespercockx

  committed
  223e555

• Add error when multiple overloaded constructors are defined in Agda and refuse to generate the relevant haskell code

  

  PPKFS

  authored and

  jespercockx

  committed
  edc5d8c

• Make it work on ghc 9.8.2

  

  PPKFS

  authored and

  jespercockx

  committed
  f8b9a22

Commits on Jul 9, 2024

• fix: Haskell.Law.Num to re-export all instances

  Show description for ec37285
  

  pmbittner

  authored and

  jespercockx

  committed
  ec37285

• [ feat for agda#108 ] IsLawfulNum instance for Int

  

  pmbittner

  authored and

  jespercockx

  committed
  7d5bd11

• [ feat for agda#108 ] IsLawfulNum instance for Word

  

  pmbittner

  authored and

  jespercockx

  committed
  71e8ab3

• move 2⁶⁴ to internal module

  Show description for 48b5a07
  

  pmbittner

  authored and

  jespercockx

  committed
  48b5a07

• some lemmata for ≤

  

  pmbittner

  authored and

  jespercockx

  committed
  bf3a225

• ≤ relation for Nat + proof of partial order

  

  pmbittner

  authored and

  jespercockx

  committed
  21f1a2b

• Haskell.Law.Function map-distributive

  

  pmbittner

  authored and

  jespercockx

  committed
  dc1ec2e

• docs: for NumHomomorphism and Embedding

  

  pmbittner

  authored and

  jespercockx

  committed
  911e6f2

• conclude IsLawfulNum from existing instances

  

  pmbittner

  authored and

  jespercockx

  committed
  9fa1408

• Haskell.Law.Num

  

  pmbittner

  authored and

  jespercockx

  committed
  c8f4dfa

• Haskell.Law.Function + some proofs from Embeddings

  

  pmbittner

  authored and

  jespercockx

  committed
  59fad8c

• Haskell.Prim.Function Embeddings

  

  pmbittner

  authored and

  jespercockx

  committed
  c44e7f3

Pagination

PreviousNext