Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 29, 2021

• with_type_app_witness is now working

  soareschen

  committed
  38183bb

  Copy full SHA for 38183bb

• Refactoring TypeAppGeneric

  soareschen

  committed
  11abdbc

  Copy full SHA for 11abdbc

• Make HasRefl with inner trait to restrict associated type

  soareschen

  committed
  095cdb6

  Copy full SHA for 095cdb6

• Rename associated types in HasRefl to Left and Right

  soareschen

  committed
  793d7f9

  Copy full SHA for 793d7f9

• Update formatting

  soareschen

  committed
  dcbcec2

  Copy full SHA for dcbcec2

• Allow unsized refl

  soareschen

  committed
  c2efaf1

  Copy full SHA for c2efaf1

Commits on Nov 28, 2021

• Add draft for congruence proof

  soareschen

  committed
  6e05bb3

  Copy full SHA for 6e05bb3

Commits on Nov 27, 2021

• Simplify refl transitivity proof

  soareschen

  committed
  8291517

  Copy full SHA for 8291517

• Draft implementation of refl proof for symmetric and transitivity working

  soareschen

  committed
  2f918fa

  Copy full SHA for 2f918fa

Commits on Nov 22, 2021

• Introduce reflexivity module

  soareschen

  committed
  d599346

  Copy full SHA for d599346

Commits on Mar 30, 2021

• Use back Ref for NaturalTransformation context

  soareschen

  committed
  3d39e46

  Copy full SHA for 3d39e46

• Pass on generic result from dyn with_type_app using mut reference

  soareschen

  committed
  15d357c

  Copy full SHA for 15d357c

• Add Curry and Curry for conversion between TypeApp and BiTypeApp

  soareschen

  committed
  5b5e2da

  Copy full SHA for 5b5e2da

Commits on Mar 29, 2021

• Revert NaturalTransformation design

  soareschen

  committed
  b982800

  Copy full SHA for b982800

• Add polymorphic ref types and use them for NaturalTransformation

  soareschen

  committed
  f03a974

  Copy full SHA for f03a974

Commits on Mar 28, 2021

• Multiplicity polymorphic functor and compose implementation is now working

  soareschen

  committed
  deaff96

  Copy full SHA for deaff96

• Trying to nest Box closures

  soareschen

  committed
  b990869

  Copy full SHA for b990869

• Allow custom implementation of HasTypeApp for wrapping bare dyn Trait

  soareschen

  committed
  1041847

  Copy full SHA for 1041847

Commits on Mar 27, 2021

• Add badges

  soareschen

  committed
  fda8bab

  Copy full SHA for fda8bab

• Add BiTypeApp definitions for function traits

  soareschen

  committed
  0a556d8

  Copy full SHA for 0a556d8

Commits on Mar 26, 2021

• Add IsRef and TypeAppGenericUnsized traits

  soareschen

  committed
  82cc43c

  Copy full SHA for 82cc43c

• Add more documentation

  soareschen

  committed
  d045274

  Copy full SHA for d045274

• More documentation on type_app

  soareschen

  committed
  497639d

  Copy full SHA for 497639d

Commits on Mar 25, 2021

• Fix keyword

  soareschen

  committed
  fca2482

  Copy full SHA for fca2482

• Add license

  soareschen

  committed
  76b060d

  Copy full SHA for 76b060d

• Writing docs

  soareschen

  committed
  eddb803

  Copy full SHA for eddb803

• Writing documentation

  soareschen

  committed
  e17380f

  Copy full SHA for e17380f

• Make NaturalTransformation accept self instead of &self.

  Show description for 5facf0d
  soareschen

  committed
  5facf0d

  Copy full SHA for 5facf0d

Commits on Mar 23, 2021

• Run formatter

  soareschen

  committed
  6db10cb

  Copy full SHA for 6db10cb

• Go back to direct style of constraint continuation

  soareschen

  committed
  ab47147

  Copy full SHA for ab47147

• Add bi-typeapp for constraint defunctionalization

  soareschen

  committed
  db4c5d5

  Copy full SHA for db4c5d5

Commits on Mar 22, 2021

• Implement row applications

  soareschen

  committed
  c5b9b30

  Copy full SHA for c5b9b30

• Initial commit for wunderkinder

  soareschen

  committed
  03ac415

  Copy full SHA for 03ac415