Commit Graph

Select branches

Hide Pull Requests

0.1.0

0.1.0-website

0.2.0-release

0.2.0-website

0.2.1-release

0.3.0-release

0.3.1-release

1.0-release

1.0.0-release

1.1.0-release

1.1.1-release

1.2.0-release

1.2.0-release-crates.io

1.2.1-release

1.2.1-release-crates.io

1.2.2-release

1.3.0-release

1.4.0-release

1.4.1-release

1.5.0-release

1.7.0-release

1.8.0-release

avi/bisect-mem-regression

avi/cherry-pick-rec-opt

avi/let-rev-opt

avi/let-rev-opt-cache-2

avi/rec-opt-pass

benches-and-flamegraphs

cargo2nixPrototype

context-completion

contract-nullable

dependabot/github_actions/actions/github-script-7

doc/markdown-linting

doc/recursive-priorities

doctests

env-disjoint-union

eval-cache-design-document

eval-cache/typeError

exp/arena-type-eq

feat/env_with_cache

feat/lazy-imports

feat/merging-identical-optimization

feat/pattern-matching

feat/regular-infra-test

feat/simplify_merge_operation

feature/IncCache-propagation

feature/bidirectional-typing

feature/let_function_syntax

fix/flake-sources

fix/lsp-double-visit

fix/lsp-external-import-loop

fix/lsp-panic-annotated-fields

fix/polymorphic-recursive-records

fix/recursive-overriding

fix/recursive-types

fix/release-script-ignore-notes

fix/repl-contract-env-actual

fix/vscode-extension-publisher

fmt

gh-readonly-queue/master/pr-1411-10c899ba79ba213be3bd009dc295a267f8031181

gh-readonly-queue/master/pr-1412-da3b5760109e7cc802aa54ec4effc669b3c08dee

gtsiam-pr-suggestion

imperative-traverse

improve/apparent-type

junk/bottom-up-lazy-prop

junk/format-parentheses

junk/merge-diagnostic-suggestion

language-server/interface-restrictions

language-server/tracing

lazy-array-contracts/bug

let-rec-patterns

lsp/metainfo

manual/contracts

master

merge/perf/lazy-array-contracts

migrateVsixToYarn

nickel-builder

nix/inherit

nix/nickel

npm

optimizations

optimize/hashmap

package-management-rfc

perf/builtin-contract-primops

perf/de-bruijn-indices

perf/environment_as_hamt

perf/intern-strings

perf/lazy-array-contracts

perf/merge-avoid-reclosurization

perf/reduce-size-of-term

record-closurization

record/inference

refactor/cache

rfc/nix-nickel

single-static-binary

spike/more-typed-destructuring

stable

stdlib/remove-ident

task/add-benchmarks

task/fix-nix-ci-on-macos

task/merge-arrays

task/physical_eq

task/test-stdlib

tmp/debug-panic-revert

tmp/matchv2

topic/improve-unmatched-pattern-errs

unsafety_improvements

update/comrak

update_flake_lock_action

ux/bidir-typecheck-field-error

vimPlugin

yaml-position

#10

#1001

#1002

#1004

#1005

#101

#1010

#1014

#1015

#1016

#1017

#1018

#1019

#102

#1023

#1024

#1025

#1026

#1028

#1029

#1033

#1034

#1035

#1036

#1037

#1038

#104

#1041

#1043

#1046

#1048

#1049

#105

#1050

#1051

#1053

#1054

#1055

#1057

#1058

#1059

#106

#1060

#1061

#1062

#1063

#1064

#1065

#1066

#1067

#1067

#1068

#1070

#1074

#1075

#1077

#108

#1080

#1081

#1082

#1083

#1084

#1086

#1087

#1088

#109

#1091

#1092

#1093

#1096

#1097

#1099

#11

#1100

#1101

#1102

#1104

#1105

#1106

#1107

#1109

#111

#1110

#1112

#1113

#1114

#1118

#1119

#112

#1124

#1125

#1126

#1127

#1128

#1130

#1132

#1135

#1138

#1139

#1141

#1142

#1143

#1144

#1145

#1146

#1149

#115

#1150

#1151

#1152

#1153

#1156

#1158

#1159

#116

#1160

#1164

#1165

#1169

#1172

#1173

#1174

#1175

#1176

#1177

#1178

#1179

#118

#1180

#1181

#1182

#1183

#1184

#1185

#1186

#1189

#1190

#1191

#1192

#1193

#1194

#1195

#1196

#1197

#1198

#1199

#12

#120

#1200

#1201

#1203

#1204

#1205

#1206

#1207

#1208

#1209

#121

#1210

#1211

#1212

#1213

#1214

#1216

#1217

#1218

#1219

#122

#1220

#1220

#1223

#1225

#1227

#1229

#1231

#1232

#1233

#1234

#1235

#1236

#1237

#1238

#124

#1241

#1242

#1243

#1244

#1245

#1246

#1247

#125

#1250

#1252

#1253

#1254

#1255

#1256

#1258

#1259

#126

#1260

#1261

#1262

#1263

#1264

#1265

#1266

#1267

#1268

#1269

#1270

#1271

#1272

#1273

#1274

#1275

#1276

#1277

#1278

#1279

#128

#1282

#1283

#1285

#1286

#1287

#1288

#1289

#1290

#1291

#1293

#1295

#1296

#1297

#1298

#1299

#13

#130

#1301

#1302

#1303

#1307

#1309

#131

#1313

#1314

#1319

#132

#1320

#1321

#1322

#1323

#1324

#1325

#1326

#133

#1331

#1332

#1333

#1335

#1337

#1338

#1339

#134

#1340

#1343

#1345

#1346

#1347

#135

#1350

#1351

#1355

#1358

#1360

#1365

#1367

#1371

#1372

#1373

#1374

#1375

#1376

#1377

#1379

#138

#1380

#1381

#1382

#1387

#1388

#1390

#1391

#1395

#1396

#1397

#1399

#14

#140

#1400

#1403

#1404

#1405

#1407

#141

#1410

#1411

#1412

#1413

#1416

#1417

#1418

#1419

#142

#1420

#1421

#1422

#1423

#1424

#1425

#1426

#143

#1430

#1434

#1435

#1436

#1437

#1438

#1439

#1440

#1441

#1442

#1444

#1445

#1447

#1450

#1451

#1452

#1454

#1455

#1456

#146

#1463

#1464

#1465

#1467

#1468

#1469

#147

#1470

#1471

#1472

#1473

#1474

#1475

#1476

#1477

#1478

#148

#1483

#1486

#1488

#1489

#1490

#1491

#1492

#1495

#1496

#1497

#15

#150

#1502

#1503

#1504

#1506

#1507

#1508

#1509

#151

#1510

#1511

#1512

#1513

#1515

#1517

#1518

#152

#1520

#1521

#1522

#1523

#1525

#1526

#1527

#1529

#153

#1530

#1531

#1532

#1535

#1537

#1539

#1540

#1541

#1542

#1543

#1544

#1545

#1546

#1547

#1548

#1549

#155

#1550

#1551

#1552

#1553

#1556

#1558

#1559

#156

#1560

#1561

#1562

#1563

#1564

#1566

#1567

#1569

#1570

#1571

#1572

#1573

#1576

#1577

#1578

#1579

#1580

#1583

#1584

#159

#1593

#1594

#1595

#1596

#1599

#16

#160

#1600

#1601

#1603

#1604

#1605

#1606

#1607

#1608

#1609

#1610

#1611

#1612

#1614

#1614

#1615

#1617

#1618

#162

#1623

#1624

#1625

#1626

#1628

#1629

#1631

#1632

#1633

#1634

#1635

#1636

#1637

#165

#1652

#1653

#1655

#1658

#1659

#166

#1660

#1661

#1662

#1663

#1665

#1666

#1669

#167

#1670

#1671

#1672

#1673

#1674

#1675

#1676

#1677

#1678

#1679

#168

#1683

#1683

#1686

#1688

#1689

#169

#1691

#1692

#1696

#1697

#1698

#1699

#17

#1703

#1705

#1709

#1710

#1711

#1712

#1714

#1715

#1716

#172

#1720

#1721

#1724

#1725

#1726

#1727

#1728

#1729

#173

#1730

#1733

#1734

#1737

#1739

#174

#1740

#1741

#1742

#1743

#1744

#1746

#1747

#1748

#1749

#175

#1750

#1752

#1753

#1755

#1756

#176

#1760

#1761

#1762

#1766

#1767

#1768

#1770

#1772

#1773

#1778

#1781

#1782

#1787

#1789

#1790

#1791

#1792

#1793

#1794

#1795

#1797

#1798

#1799

#18

#180

#1800

#1803

#1804

#1805

#1806

#1807

#1808

#1809

#181

#1810

#1811

#1812

#1813

#1814

#1816

#1817

#1819

#182

#1820

#1821

#1822

#1823

#1824

#1825

#1826

#1827

#1829

#1830

#1831

#1832

#1833

#1834

#1835

#1836

#1838

#1839

#184

#1840

#1841

#1843

#1844

#1845

#1846

#1847

#1848

#1849

#185

#1851

#1853

#1854

#1856

#1857

#1858

#1859

#1860

#1862

#1863

#1868

#1868

#1869

#1870

#1872

#1874

#1876

#1878

#1879

#1880

#1881

#1883

#1884

#1887

#1888

#1889

#189

#1890

#1893

#1896

#1897

#1899

#19

#190

#1900

#1902

#1903

#1903

#1904

#1905

#1907

#1910

#1912

#1913

#1914

#1916

#1917

#1918

#1919

#192

#1920

#1921

#1922

#1923

#1924

#1926

#1927

#1928

#193

#1936

#1937

#1938

#1939

#194

#1940

#1944

#1946

#1947

#1948

#1949

#195

#1951

#1952

#1953

#1954

#1955

#1961

#1963

#1963

#1964

#197

#1970

#1973

#1974

#1975

#1977

#1978

#198

#1981

#1982

#1983

#1983

#1984

#1985

#1986

#1987

#1988

#199

#1990

#1991

#1992

#1994

#1995

#1998

#1999

#2

#20

#2000

#2001

#2001

#2002

#2004

#2006

#2007

#2008

#2009

#2010

#2011

#2012

#2013

#2015

#2015

#2016

#2016

#2017

#2018

#2020

#2020

#2021

#2022

#2022

#2024

#2025

#203

#2030

#2031

#2031

#2032

#2034

#2035

#2036

#2036

#204

#205

#206

#208

#209

#21

#210

#211

#213

#214

#215

#217

#219

#22

#220

#222

#227

#229

#23

#231

#233

#234

#237

#238

#239

#24

#241

#242

#243

#245

#246

#247

#248

#249

#25

#250

#251

#253

#258

#259

#26

#260

#261

#262

#263

#264

#265

#266

#267

#268

#269

#27

#271

#272

#273

#274

#275

#276

#28

#280

#281

#282

#283

#284

#287

#288

#289

#29

#290

#291

#292

#296

#297

#299

#3

#30

#300

#301

#302

#304

#305

#306

#31

#310

#311

#312

#313

#314

#315

#317

#319

#32

#323

#324

#325

#326

#327

#328

#33

#330

#331

#333

#334

#335

#336

#339

#34

#340

#341

#342

#343

#345

#346

#347

#349

#35

#350

#351

#352

#353

#354

#355

#356

#358

#36

#362

#363

#364

#366

#369

#37

#370

#371

#372

#374

#376

#377

#378

#379

#38

#380

#381

#382

#383

#385

#386

#39

#390

#391

#392

#393

#394

#395

#396

#397

#399

#4

#40

#400

#401

#403

#404

#405

#41

#410

#411

#416

#417

#419

#42

#421

#424

#426

#429

#43

#431

#432

#433

#434

#436

#437

#438

#439

#44

#440

#441

#443

#444

#446

#447

#448

#449

#450

#451

#454

#456

#457

#458

#46

#463

#464

#465

#466

#467

#468

#469

#47

#470

#471

#472

#473

#474

#475

#476

#478

#479

#48

#481

#482

#484

#485

#486

#49

#490

#491

#497

#498

#499

#5

#50

#500

#501

#503

#504

#505

#506

#507

#508

#509

#51

#511

#512

#513

#514

#515

#516

#518

#519

#520

#527

#528

#529

#53

#530

#531

#535

#536

#537

#538

#539

#540

#541

#542

#543

#544

#545

#546

#547

#549

#55

#550

#551

#553

#554

#558

#559

#56

#561

#562

#563

#566

#567

#568

#569

#570

#572

#573

#574

#575

#576

#577

#578

#58

#580

#581

#582

#586

#587

#588

#589

#59

#591

#592

#593

#597

#598

#599

#6

#60

#600

#602

#604

#605

#606

#607

#608

#609

#61

#610

#611

#612

#614

#615

#616

#617

#618

#619

#62

#620

#621

#622

#624

#625

#626

#627

#628

#629

#63

#630

#631

#632

#633

#634

#636

#637

#638

#639

#64

#640

#641

#643

#644

#645

#648

#649

#65

#651

#652

#655

#657

#658

#66

#660

#662

#663

#664

#666

#667

#669

#67

#670

#672

#673

#674

#675

#676

#677

#678

#679

#68

#680

#681

#683

#684

#685

#686

#687

#688

#69

#690

#691

#692

#693

#693

#694

#696

#698

#7

#70

#702

#703

#704

#705

#706

#707

#709

#71

#712

#713

#716

#717

#72

#721

#722

#723

#725

#726

#728

#729

#73

#730

#731

#732

#733

#734

#735

#737

#738

#739

#740

#742

#743

#744

#745

#746

#748

#749

#75

#750

#751

#752

#754

#755

#757

#759

#760

#761

#762

#763

#764

#765

#766

#767

#768

#769

#77

#770

#771

#772

#773

#776

#777

#778

#779

#78

#780

#782

#783

#784

#785

#787

#788

#789

#79

#790

#791

#792

#793

#794

#795

#796

#797

#798

#8

#800

#801

#802

#803

#806

#807

#808

#809

#810

#811

#812

#814

#815

#816

#818

#819

#822

#823

#824

#826

#827

#828

#829

#830

#831

#832

#833

#834

#835

#839

#840

#842

#845

#846

#847

#849

#850

#853

#854

#855

#856

#857

#860

#861

#862

#863

#865

#866

#867

#869

#87

#870

#871

#872

#873

#874

#875

#878

#879

#882

#885

#886

#89

#890

#895

#896

#898

#899

#90

#901

#902

#903

#904

#905

#906

#907

#909

#91

#912

#913

#914

#915

#916

#918

#919

#923

#924

#925

#926

#927

#928

#939

#940

#944

#946

#947

#949

#953

#954

#955

#956

#959

#96

#960

#963

#964

#966

#968

#969

#97

#970

#972

#973

#975

#977

#978

#979

#98

#980

#981

#982

#983

#984

#985

#986

#988

#99

#990

#991

#992

#993

#994

#996

#997

0.1.0

0.2.0

0.2.1

0.3.0

0.3.1

1.0.0

1.1.1

1.2.0

1.2.1

1.2.2

1.3.0

1.4.0

1.4.1

1.5.0

1.6.0

1.7.0

1.8.0

Mono Color

• 979910b802
  add shell.nix to the project zimbatm 2019-01-09 13:13:37 +0100
• 713a3dc597 Initial import. Mathieu Boespflug 2019-01-08 22:46:02 +0100