Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 21, 2025

• Bad attempt on local unification

  Show description for 4a699c0
  anqur

  committed
  4a699c0

  Copy full SHA for 4a699c0

Commits on Jul 4, 2025

• Fix case branch argument type

  Show description for 8445d08
  anqur

  committed
  8445d08

  Copy full SHA for 8445d08

Commits on Jun 25, 2025

• Rename release.yml to release.yaml

  anqur

  authored
  63750cd

  Copy full SHA for 63750cd

• Update README.md

  anqur

  authored
  fbb336d

  Copy full SHA for fbb336d

• Update README.md

  anqur

  authored
  cbced18

  Copy full SHA for cbced18

• Update and rename test.yml to test.yaml

  anqur

  authored
  cedba79

  Copy full SHA for cedba79

• Create cloc.yaml

  anqur

  authored
  f1c953a

  Copy full SHA for f1c953a

• Update README.md

  anqur

  authored
  25588fe

  Copy full SHA for 25588fe

Commits on Apr 15, 2025

• Nits

  Show description for 312b3ea
  anqur

  committed
  312b3ea

  Copy full SHA for 312b3ea

Commits on Mar 28, 2025

• Suppress backtracking if possible

  Show description for 3f35208
  anqur

  committed
  3f35208

  Copy full SHA for 3f35208

Commits on Mar 15, 2025

• Nits

  Show description for fe2a4a2
  anqur

  committed
  fe2a4a2

  Copy full SHA for fe2a4a2

Commits on Mar 12, 2025

• Fix CI

  Show description for dfa3d3c
  anqur

  committed
  dfa3d3c

  Copy full SHA for dfa3d3c

• Update README

  Show description for 95a8073
  anqur

  committed
  95a8073

  Copy full SHA for 95a8073

Commits on Mar 11, 2025

• Bump version

  Show description for 058cb9c
  anqur

  committed
  058cb9c

  Copy full SHA for 058cb9c

• Operator overloading

  Show description for f008681
  anqur

  committed
  f008681

  Copy full SHA for f008681

• Bump version

  Show description for 6a40115
  anqur

  committed
  6a40115

  Copy full SHA for 6a40115

• Fix #2: Typeclass

  Show description for ab71424
  anqur

  committed
  ab71424

  Copy full SHA for ab71424

• Typecheck instances

  Show description for 9a316df
  anqur

  committed
  9a316df

  Copy full SHA for 9a316df

Commits on Mar 10, 2025

• Typecheck classes

  Show description for 87dc206
  anqur

  committed
  87dc206

  Copy full SHA for 87dc206

• Globals propagated to converter and inliner

  Show description for 74a7b79
  anqur

  committed
  74a7b79

  Copy full SHA for 74a7b79

Commits on Mar 7, 2025

• Name resolving for instances

  Show description for 1125724
  anqur

  committed
  1125724

  Copy full SHA for 1125724

Commits on Mar 6, 2025

• Name resolving for classes

  Show description for 2badd36
  anqur

  committed
  2badd36

  Copy full SHA for 2badd36

• Grammar for instances

  Show description for ff8943a
  anqur

  committed
  ff8943a

  Copy full SHA for ff8943a

Commits on Mar 5, 2025

• Grammar for classes

  Show description for 8e9f328
  anqur

  committed
  8e9f328

  Copy full SHA for 8e9f328

• Nits

  Show description for cf53e9d
  anqur

  committed
  cf53e9d

  Copy full SHA for cf53e9d

Commits on Mar 1, 2025

• Initialize grammar of constraint parameters

  Show description for 42390ff
  anqur

  committed
  42390ff

  Copy full SHA for 42390ff

Commits on Feb 28, 2025

• Bump version

  Show description for 6e94206
  anqur

  committed
  6e94206

  Copy full SHA for 6e94206

• Fix #1: Recursion

  Show description for 09d2f3c
  anqur

  committed
  09d2f3c

  Copy full SHA for 09d2f3c

Commits on Feb 25, 2025

• Fix bugs in named implicit arguments

  Show description for c479624
  anqur

  committed
  c479624

  Copy full SHA for c479624

• Equality type using `inductive`

  Show description for fc9e6e1
  anqur

  committed
  fc9e6e1

  Copy full SHA for fc9e6e1

Commits on Feb 24, 2025

• `nomatch` is now dependent

  Show description for f83dc89
  anqur

  committed
  f83dc89

  Copy full SHA for f83dc89

• Some refactoring

  Show description for 14433db
  anqur

  committed
  14433db

  Copy full SHA for 14433db

• Bump version

  Show description for c99cc11
  anqur

  committed
  c99cc11

  Copy full SHA for c99cc11

• Bump version

  Show description for 9287ee8
  anqur

  committed
  9287ee8

  Copy full SHA for 9287ee8

Commits on Feb 22, 2025

• Fix #3: All DPM tested

  Show description for 073342e
  anqur

  committed
  073342e

  Copy full SHA for 073342e

Pagination

Previous

Next