Commits

Branch selector

master

User selector

All users

All time

Commit history

Commits on Nov 10, 2025

• Merge pull request #90 from danelahman/master

  Show description for f4d3dcd
  matijapretnar

  authored
  f4d3dcdView commit details

  Copy full SHA for f4d3dcd

  Browse repository at this point

• A proper indended fix for #89

  matijapretnar

  committed
  de1d448View commit details

  Copy full SHA for de1d448

  Browse repository at this point

• Intended fix for #89

  Show description for 1665618
  matijapretnar

  committed
  1665618View commit details

  Copy full SHA for 1665618

  Browse repository at this point

Commits on Nov 8, 2025

• Update dependencies

  danelahman

  committed
  c559fd0View commit details

  Copy full SHA for c559fd0

  Browse repository at this point

• apply_sub_dirtcoer was not applied in the case when two dirt params are equal (related to #89)

  danelahman

  committed
  671a1b3View commit details

  Copy full SHA for 671a1b3

  Browse repository at this point

• Fixing the 'Error: Unbound value dirt_sub' bug

  danelahman

  committed
  e8ce744View commit details

  Copy full SHA for e8ce744

  Browse repository at this point

Commits on Jul 4, 2025

• Partial fix for the case when two dirt params are equal

  Show description for cda74fd
  matijapretnar

  committed
  cda74fdView commit details

  Copy full SHA for cda74fd

  Browse repository at this point

Commits on Jun 14, 2024

• Remove unnecessary special case

  matijapretnar

  committed
  4c47fe0View commit details

  Copy full SHA for 4c47fe0

  Browse repository at this point

Commits on May 24, 2023

• More useful debug messages

  matijapretnar

  committed
  130709bView commit details

  Copy full SHA for 130709b

  Browse repository at this point

• Apply substitution to effect signatures

  Show description for c754534
  matijapretnar

  committed
  c754534View commit details

  Copy full SHA for c754534

  Browse repository at this point

Commits on Mar 30, 2023

• Update README

  matijapretnar

  committed
  ba0424fView commit details

  Copy full SHA for ba0424f

  Browse repository at this point

• Update formatting

  matijapretnar

  committed
  7158154View commit details

  Copy full SHA for 7158154

  Browse repository at this point

• Update dependencies

  matijapretnar

  committed
  6a1a37dView commit details

  Copy full SHA for 6a1a37d

  Browse repository at this point

• Flush after printing out a type

  Show description for 65a4cec
  matijapretnar

  committed
  65a4cecView commit details

  Copy full SHA for 65a4cec

  Browse repository at this point

Commits on Jun 9, 2022

• Merge pull request #83 from jO-Osko/toplevel-ocaml-handler-fix

  Show description for 78312f9
  matijapretnar

  authored
  78312f9View commit details

  Copy full SHA for 78312f9

  Browse repository at this point

Commits on Jun 6, 2022

• Fixes value restriction on toplevel handlers

  jO-Osko

  committed
  cc7b6bbView commit details

  Copy full SHA for cc7b6bb

  Browse repository at this point

Commits on Jun 2, 2022

• Merge pull request #81 from jO-Osko/param-variance

  Show description for 1be07f0
  matijapretnar

  authored
  1be07f0View commit details

  Copy full SHA for 1be07f0

  Browse repository at this point

Commits on May 13, 2022

• Remove variances from skeletons

  jO-Osko

  committed
  8e102e1View commit details

  Copy full SHA for 8e102e1

  Browse repository at this point

• Change desugaring of type applications

  jO-Osko

  committed
  cad55a8View commit details

  Copy full SHA for cad55a8

  Browse repository at this point

Commits on Feb 26, 2022

• Review changes

  jO-Osko

  committed
  6dfd41bView commit details

  Copy full SHA for 6dfd41b

  Browse repository at this point

Commits on Jan 25, 2022

• Cleanup

  jO-Osko

  committed
  8785c53View commit details

  Copy full SHA for 8785c53

  Browse repository at this point

Commits on Jan 24, 2022

• expose list

  jO-Osko

  committed
  aba8691View commit details

  Copy full SHA for aba8691

  Browse repository at this point

• Better parsing

  jO-Osko

  committed
  635edd8View commit details

  Copy full SHA for 635edd8

  Browse repository at this point

• Add lists to desugarer

  jO-Osko

  committed
  ef46298View commit details

  Copy full SHA for ef46298

  Browse repository at this point

• really fix variance

  jO-Osko

  committed
  91b430aView commit details

  Copy full SHA for 91b430a

  Browse repository at this point

Commits on Jan 23, 2022

• Fixed param substitution

  jO-Osko

  committed
  e704d33View commit details

  Copy full SHA for e704d33

  Browse repository at this point

Commits on Jan 21, 2022

• more comments

  jO-Osko

  committed
  9fa01b2View commit details

  Copy full SHA for 9fa01b2

  Browse repository at this point

Commits on Jan 12, 2022

• refresh bugfixing

  jO-Osko

  committed
  75071f6View commit details

  Copy full SHA for 75071f6

  Browse repository at this point

Commits on Jan 10, 2022

• Adds simple param variance

  jO-Osko

  committed
  bcebafcView commit details

  Copy full SHA for bcebafc

  Browse repository at this point

• Merge pull request #80 from matijapretnar/clean-up-infer

  Show description for 891559c
  matijapretnar

  authored
  891559cView commit details

  Copy full SHA for 891559c

  Browse repository at this point

• Remove unnecessary try-except

  matijapretnar

  committed
  8a818a2View commit details

  Copy full SHA for 8a818a2

  Browse repository at this point

Commits on Jan 9, 2022

• Clean up infer_pattern

  matijapretnar

  committed
  41a9006View commit details

  Copy full SHA for 41a9006

  Browse repository at this point

Commits on Jan 8, 2022

• Compute pattern vars as a map of types

  matijapretnar

  committed
  9ae3bfeView commit details

  Copy full SHA for 9ae3bfe

  Browse repository at this point

• Simplify handler inference

  matijapretnar

  committed
  c1490edView commit details

  Copy full SHA for c1490ed

  Browse repository at this point

Commits on Jan 7, 2022

• Clean up effects

  matijapretnar

  committed
  5753e1aView commit details

  Copy full SHA for 5753e1a

  Browse repository at this point