Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Apr 11, 2022

• Setting version to 0.3-SNAPSHOT

  TomasMikula

  committedApr 11, 2022
  d9dda2f

• Setting version to 0.2

  TomasMikula

  committedApr 11, 2022
  d220399

Commits on Apr 10, 2022

• sbt 1.6.2

  TomasMikula

  committedApr 10, 2022
  61148b9

• Make ignoring and reordering type args expressible in TypeFun.

  TomasMikula

  committedApr 10, 2022
  17223d4

Commits on Mar 28, 2022

• Make Tree[A] expressible as TypeFun.

  TomasMikula

  committedMar 28, 2022
  5ac8858

Commits on Mar 24, 2022

• generic.TypeExpr.transApplyM

  TomasMikula

  committedMar 24, 2022
  328cadd

• AnnotatedTypeExpr.applyTo(ArgIntro)

  TomasMikula

  committedMar 24, 2022
  44513e1

Commits on Mar 23, 2022

• Remove the superfluous TypeObject.

  TomasMikula

  committedMar 23, 2022
  57a1239

• Require ProperKinds for AppCompose, PFix.

  TomasMikula

  committedMar 23, 2022
  fa94983

Commits on Mar 20, 2022

• Split type-inference into multiple files.

  TomasMikula

  committedMar 20, 2022
  2f97685

• Renaming

  TomasMikula

  committedMar 20, 2022
  0c67557

• Remove unnecessary type TypeExpr.Elementary.

  TomasMikula

  committedMar 20, 2022
  123dbb1

• Remove unused stuff.

  TomasMikula

  committedMar 20, 2022
  31a4a3f

• Complete outstanding type-inference tests.

  TomasMikula

  committedMar 20, 2022
  41addf5

Commits on Mar 17, 2022

• WIP

  TomasMikula

  committedMar 17, 2022
  b7b74fa

Commits on Mar 16, 2022

• WIP

  TomasMikula

  committedMar 16, 2022
  e85b1c1

Commits on Mar 14, 2022

• WIP: Split TypeFun into an initial routing and TypeExpr.

  TomasMikula

  committedMar 14, 2022
  22916c9

Commits on Mar 10, 2022

• WIP: require TypeTag of F[_] in fix/unfix.

  TomasMikula

  committedMar 10, 2022
  5139ec0

Commits on Feb 27, 2022

• WIP: More expressive representation of type constructors.

  TomasMikula

  committedFeb 27, 2022
  ad73d29

Commits on Feb 15, 2022

• Add test of inferring types of nested List maps.

  TomasMikula

  committedFeb 15, 2022
  a45e369

Commits on Feb 14, 2022

• Simple type inference

  TomasMikula

  committedFeb 14, 2022
  27394ca

Commits on Jan 31, 2022

• More flexible result of iUpdate.

  TomasMikula

  committedJan 31, 2022
  0646efe

• Indexed version of continual trigger constructor.

  TomasMikula

  committedJan 31, 2022
  1abac3d

Commits on Jan 29, 2022

• Indexed observe.

  TomasMikula

  committedJan 29, 2022
  0b5e6ee

• Don't drag token through triggers.

  TomasMikula

  committedJan 29, 2022
  92ed3c3

Commits on Jan 16, 2022

• Allow the indexed updates return a different index than the input index.

  TomasMikula

  committedJan 16, 2022
  60a328a

Commits on Jan 15, 2022

• Add type member Out[A] to Propagation.

  TomasMikula

  committedJan 15, 2022
  10fea59

Commits on Jan 11, 2022

• Expose indexed updates in the Propagation API.

  TomasMikula

  committedJan 11, 2022
  909f706

• Revamp IDom: make update and domain indexed as well.

  TomasMikula

  committedJan 11, 2022
  f1a8376

Commits on Dec 9, 2021

• Setting version to 0.2-SNAPSHOT

  TomasMikula

  committedDec 9, 2021
  a36e98d

• Setting version to 0.1.9

  TomasMikula

  committedDec 9, 2021
  78cbe10

• Cross-build for Scala 3.

  TomasMikula

  committedDec 9, 2021
  143a7e6

• Give up on reliable implicit resolution of Inject.

  TomasMikula

  committedDec 9, 2021
  bf1fcf8

• Add an alternative Pattern builder that does not rely heavily on implicits.

  TomasMikula

  committedDec 9, 2021
  1622a9a

Commits on Dec 7, 2021

• Eliminate a few more Scala 3 errors.

  TomasMikula

  committedDec 7, 2021
  f6d6860

Pagination

PreviousNext