Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 26, 2024

• Switch to `oeis2` library and reinstate OEIS support (#427)

  Show description for f6714ce
  byorgey

  authored
  f6714ce

  Copy full SHA for f6714ce

Commits on Dec 25, 2024

• More work on documentation (#419)

  Show description for 8152fcb
  byorgey

  authored
  8152fcb

  Copy full SHA for 8152fcb

• Remove decimal output (#417)

  Show description for 0e31bd0
  byorgey

  authored
  0e31bd0

  Copy full SHA for 0e31bd0

Commits on Dec 22, 2024

• More RTD fixes (#416)

  Show description for 7696564
  byorgey

  authored
  7696564

  Copy full SHA for 7696564

Commits on Dec 11, 2024

• Beginnings of a "gentle introduction to Disco" (#406)

  Show description for 6a7623a
  byorgey

  authored
  6a7623a

  Copy full SHA for 6a7623a

Commits on Jul 23, 2024

• Updates to reference documentation (#397)

  Show description for fb0bb62
  byorgey

  authored
  fb0bb62

  Copy full SHA for fb0bb62

Commits on Dec 20, 2023

• Allow `><` as syntax for product types (#370)

  Show description for 5d3b6a2
  byorgey

  authored
  5d3b6a2

  Copy full SHA for 5d3b6a2

Commits on Jan 16, 2023

• update copyright year

  byorgey

  committed
  cfabf89

  Copy full SHA for cfabf89

• get rid of periods at end of symbols table

  byorgey

  committed
  6096311

  Copy full SHA for 6096311

Commits on May 23, 2022

• write about ellipsis

  byorgey

  committed
  4c5eff9

  Copy full SHA for 4c5eff9

• update multinomial coefficients

  byorgey

  committed
  50227e6

  Copy full SHA for 50227e6

• write about binomial & multinomial coefficients

  byorgey

  committed
  3adb259

  Copy full SHA for 3adb259

Commits on May 21, 2022

• ref doc for chars and strings

  byorgey

  committed
  7dea100

  Copy full SHA for 7dea100

Commits on May 20, 2022

• finish writing about type definitions for now

  byorgey

  committed
  765dfa0

  Copy full SHA for 765dfa0

Commits on May 17, 2022

• start writing about type definitions

  byorgey

  committed
  7928e75

  Copy full SHA for 7928e75

• add page on divisibility testing

  byorgey

  committed
  4e1dfc3

  Copy full SHA for 4e1dfc3

• tweaks

  byorgey

  committed
  9b3cfb2

  Copy full SHA for 9b3cfb2

Commits on May 13, 2022

• write about sum types

  byorgey

  committed
  d50d1d3

  Copy full SHA for d50d1d3

• start writing about polymorphism

  byorgey

  committed
  19b4598

  Copy full SHA for 19b4598

• tweaks to product type reference doc

  byorgey

  committed
  b4f5ffe

  Copy full SHA for b4f5ffe

Commits on May 11, 2022

• note n-tuples can be made via nested pairs

  byorgey

  committed
  0282ec0

  Copy full SHA for 0282ec0

Commits on Apr 30, 2022

• writing about product types

  Show description for dbab278
  byorgey

  committed
  dbab278

  Copy full SHA for dbab278

Commits on Apr 29, 2022

• fix formatting

  byorgey

  committed
  bdd0f09

  Copy full SHA for bdd0f09

• finish writing about subtyping

  byorgey

  committed
  f4bf7e8

  Copy full SHA for f4bf7e8

Commits on Apr 28, 2022

• start writing about product types

  byorgey

  committed
  4318af5

  Copy full SHA for 4318af5

Commits on Apr 27, 2022

• Disallow multi-argument lambda syntax sugar (#353)

  Show description for 6e5f020
  byorgey

  authored
  6e5f020

  Copy full SHA for 6e5f020

Commits on Apr 16, 2022

• document unit type

  byorgey

  committed
  67eb8a1

  Copy full SHA for 67eb8a1

• more documentation tweaks & improvements

  byorgey

  committed
  c7cb301

  Copy full SHA for c7cb301

Commits on Apr 15, 2022

• a bunch of documentation tweaks + updates

  byorgey

  committed
  7f325c7

  Copy full SHA for 7f325c7

Commits on Apr 14, 2022

• make a note for advanced reference doc material

  byorgey

  committed
  3d9ac54

  Copy full SHA for 3d9ac54

Commits on Apr 11, 2022

• Disallow patterns with repeated variables (i.e. nonlinear patterns) (#350)

  Show description for a855e85
  byorgey

  authored
  a855e85

  Copy full SHA for a855e85

Commits on Apr 4, 2022

• arithmetic patterns

  byorgey

  committed
  6235a3c

  Copy full SHA for 6235a3c

Commits on Mar 31, 2022

• tweak

  byorgey

  committed
  6a3cb27

  Copy full SHA for 6a3cb27

• make names of doc pages on patterns more consistent

  byorgey

  committed
  600a82c

  Copy full SHA for 600a82c

• reference page on wildcard patterns

  byorgey

  committed
  3aa129d

  Copy full SHA for 3aa129d

Pagination

Previous

Next