Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 8, 2024

• Add `GetDef` primitive

  WhatisRT

  committed
  bf4a0c9

  Copy full SHA for bf4a0c9

• Use proper eta equality checking

  Show description for 8999b2e
  WhatisRT

  committed
  8999b2e

  Copy full SHA for 8999b2e

Commits on Dec 30, 2023

• Fix `showTerm` not displaying empty pis correctly

  WhatisRT

  committed
  28a4ce8

  Copy full SHA for 28a4ce8

Commits on Dec 26, 2023

• Prepare for scott encodings

  WhatisRT

  committed
  9d7a073

  Copy full SHA for 9d7a073

Commits on Dec 3, 2023

• Add some general-purpose programming functions to Base

  WhatisRT

  committed
  e1bb303

  Copy full SHA for e1bb303

Commits on Dec 2, 2023

• Add some Cedille constructions

  WhatisRT

  committed
  37d007c

  Copy full SHA for 37d007c

• Fix regression in conversion checking

  Show description for 6172387
  WhatisRT

  committed
  6172387

  Copy full SHA for 6172387

Commits on Dec 1, 2023

• Don't elaborate applications that are already solved

  Show description for 1db151a
  WhatisRT

  committed
  1db151a

  Copy full SHA for 1db151a

• Improve bootstrap compiler performance

  WhatisRT

  committed
  47ea0ff

  Copy full SHA for 47ea0ff

Commits on Nov 30, 2023

• Fix `foldr` and `reverse` functions

  Show description for e39e6c9
  WhatisRT

  committed
  e39e6c9

  Copy full SHA for e39e6c9

Commits on Nov 29, 2023

• Simplify `Conversion` module

  WhatisRT

  committed
  0b2e4c1

  Copy full SHA for 0b2e4c1

Commits on Nov 28, 2023

• Improve performance by optimizing meta program execution

  Show description for 8161f34
  WhatisRT

  committed
  8161f34

  Copy full SHA for 8161f34

• Improve and cleanup Makefile

  WhatisRT

  committed
  c517224

  Copy full SHA for c517224

Commits on Nov 4, 2023

• Add RTS flag for ~10% speedup

  WhatisRT

  committed
  eeefd0c

  Copy full SHA for eeefd0c

• Add a generic interface for evaluation

  WhatisRT

  committed
  14a3811

  Copy full SHA for 14a3811

Commits on Sep 6, 2023

• Improvements to debug output

  Show description for b18c130
  WhatisRT

  committed
  b18c130

  Copy full SHA for b18c130

Commits on Sep 5, 2023

• Add `Fix` builtin

  WhatisRT

  committed
  69ca639

  Copy full SHA for 69ca639

Commits on Jul 16, 2023

• Remove TermLike typeclass

  WhatisRT

  committed
  fc58f84

  Copy full SHA for fc58f84

Commits on Jul 11, 2023

• Add debug output for head normalization

  WhatisRT

  committed
  207fd04

  Copy full SHA for 207fd04

• Move some builtins into `Const`

  WhatisRT

  committed
  d119b27

  Copy full SHA for d119b27

Commits on Jun 25, 2023

• Add debug info for (head-)normalization

  WhatisRT

  committed
  e2a2b15

  Copy full SHA for e2a2b15

Commits on Jun 24, 2023

• Add `=>` notation for the erased function type

  WhatisRT

  committed
  0117abe

  Copy full SHA for 0117abe

• Introduce `SetDebug` primitive which replaces `ToggleProf`

  Show description for 41ee30a
  WhatisRT

  committed
  41ee30a

  Copy full SHA for 41ee30a

• Cleanup related to bootstrapping

  WhatisRT

  committed
  9fc1ba1

  Copy full SHA for 9fc1ba1

• Various fixes to Cedille constructions

  WhatisRT

  committed
  388041f

  Copy full SHA for 388041f

Commits on May 14, 2023

• Refactor `Term` datatype

  WhatisRT

  committed
  e22a9d8

  Copy full SHA for e22a9d8

Commits on May 10, 2023

• Fix scheme compiler

  WhatisRT

  committed
  3b634e9

  Copy full SHA for 3b634e9

Commits on May 9, 2023

• Cleanup some notation

  WhatisRT

  committed
  5f98072

  Copy full SHA for 5f98072

• Swap comma and semicolon in pair & list notations

  WhatisRT

  committed
  226c878

  Copy full SHA for 226c878

• Add string interpolation

  WhatisRT

  committed
  5d8dd72

  Copy full SHA for 5d8dd72

• Refactor escaping to only have one escape mechanism

  WhatisRT

  committed
  3767298

  Copy full SHA for 3767298

Commits on May 2, 2023

• Improve output for loading modules & compilation

  WhatisRT

  committed
  1d828ce

  Copy full SHA for 1d828ce

Commits on Apr 30, 2023

• Major performance improvements in several places

  WhatisRT

  committed
  e1e66bf

  Copy full SHA for e1e66bf

Commits on Apr 26, 2023

• Deprecate the `init$newStmt` type

  WhatisRT

  committed
  d72881d

  Copy full SHA for d72881d

• Sort parser rules by length of the first terminal prefix

  Show description for e8489fd
  WhatisRT

  committed
  e8489fd

  Copy full SHA for e8489fd

Pagination

Previous

Next