Commit Graph

Select branches

Hide Pull Requests

autobind-application

gh-pages

main

revert-2469-trans-deps

v0211-compat

#1

#10

#100

#1000

#1001

#1002

#1008

#1010

#1011

#1014

#1015

#1016

#1017

#1018

#1019

#102

#1020

#1021

#1025

#1026

#1028

#103

#1030

#1033

#1034

#1036

#1038

#1040

#1041

#1044

#1047

#105

#1050

#1051

#1052

#1053

#1054

#1055

#1056

#1057

#1058

#1059

#106

#1061

#1062

#1063

#1065

#1067

#1068

#1069

#107

#1070

#1071

#1072

#1073

#1074

#1075

#1077

#1078

#1081

#1082

#1084

#1085

#1088

#1089

#109

#1091

#1092

#1093

#1094

#1095

#1097

#1098

#1099

#11

#1100

#1103

#1107

#1108

#1109

#111

#1110

#1111

#1112

#1113

#1117

#1118

#1119

#1120

#1121

#1122

#1123

#1125

#1127

#1128

#1129

#113

#1134

#1135

#1136

#1137

#1138

#1142

#1143

#1144

#1145

#1146

#1147

#1149

#115

#1150

#1151

#1152

#1153

#1154

#1155

#1157

#1158

#1161

#1162

#1164

#1165

#1166

#1168

#117

#1171

#1172

#1177

#1178

#118

#1180

#1183

#1184

#1188

#1189

#119

#1190

#1192

#1195

#1196

#1199

#12

#120

#1203

#1205

#1206

#1207

#1209

#121

#1210

#1211

#1213

#1215

#122

#1222

#1225

#1227

#1228

#1229

#123

#1231

#1232

#1233

#1234

#1235

#1237

#1238

#124

#1240

#1243

#1245

#1246

#1247

#1249

#1250

#1251

#1253

#1254

#1255

#1256

#126

#1261

#1262

#1263

#1264

#1265

#1266

#1267

#1268

#1269

#127

#1273

#1275

#1278

#128

#1280

#1283

#1284

#1286

#1287

#1289

#129

#1292

#1296

#1298

#1299

#130

#1300

#1301

#1302

#1303

#1304

#1308

#131

#1310

#1311

#1312

#1314

#1315

#1316

#1317

#1318

#1321

#1323

#1324

#1327

#1329

#133

#1330

#1331

#1332

#1335

#1336

#1337

#1338

#134

#1340

#1342

#1344

#1347

#1348

#1351

#1352

#1353

#1354

#1355

#1357

#1359

#136

#1360

#1362

#1363

#1368

#1369

#137

#1371

#1372

#1374

#1375

#1377

#1379

#138

#1380

#1381

#1383

#1386

#1388

#139

#1390

#1391

#1393

#1394

#1395

#1397

#1399

#1400

#1402

#1403

#1405

#1406

#1407

#1408

#1409

#1411

#1412

#1413

#1415

#1418

#142

#1420

#1422

#1423

#1424

#1425

#1426

#1427

#1428

#1429

#143

#1430

#1431

#1433

#1434

#1437

#1438

#1439

#144

#1440

#1442

#1443

#1444

#1446

#1448

#1449

#145

#1450

#1451

#1452

#1454

#1457

#1458

#146

#1461

#1462

#1463

#1464

#1465

#1466

#1467

#1468

#1469

#147

#1470

#1471

#1472

#1473

#1474

#1475

#1476

#1477

#1478

#1479

#148

#1480

#1481

#1483

#1484

#1487

#1488

#1489

#149

#1492

#1494

#1495

#1497

#1499

#150

#1500

#1501

#1504

#1505

#1509

#151

#1516

#1517

#1518

#152

#1520

#1521

#1522

#1525

#1526

#1527

#1528

#153

#1531

#1533

#1534

#1535

#1536

#1538

#1539

#154

#1540

#1542

#1547

#1548

#155

#1550

#1551

#1553

#1554

#1555

#1556

#1557

#1558

#1559

#156

#1561

#1562

#1564

#1565

#1566

#1567

#1568

#1569

#157

#1570

#1573

#1574

#1575

#1576

#1578

#158

#1580

#1583

#1584

#1585

#1586

#1587

#1588

#1589

#159

#1590

#1591

#1592

#1593

#1594

#1595

#1596

#1597

#1598

#1599

#160

#1600

#1601

#1602

#1603

#1604

#1605

#1606

#1607

#1608

#1609

#161

#1610

#1611

#1613

#1616

#1619

#162

#1620

#1621

#1622

#1623

#1624

#1625

#1627

#1628

#1629

#1631

#1633

#1638

#1639

#1640

#1641

#1642

#1643

#1644

#1645

#1646

#1647

#1648

#1649

#165

#1650

#1651

#1653

#1654

#1655

#1656

#1657

#1658

#1659

#1660

#1661

#1661

#1662

#1663

#1665

#1666

#1667

#1668

#167

#1670

#1671

#1673

#1674

#1676

#1677

#1678

#1679

#168

#1680

#1681

#1683

#1684

#1685

#1686

#1687

#1688

#1689

#169

#1692

#1694

#1696

#1697

#1698

#1699

#170

#1700

#1701

#1702

#1704

#1705

#1707

#1708

#171

#1711

#1712

#1713

#1714

#1715

#1716

#1717

#1718

#1719

#172

#1720

#1721

#1722

#1723

#1725

#1726

#1729

#1730

#1731

#1732

#1733

#1734

#1735

#1736

#1737

#1738

#1739

#1740

#1745

#1747

#1748

#1749

#1750

#1751

#1752

#1753

#1756

#1758

#1759

#176

#1761

#1762

#1764

#1765

#1766

#1768

#1769

#177

#1770

#1772

#1774

#1775

#1776

#1777

#1779

#178

#1781

#1785

#1786

#1789

#1790

#1791

#1794

#1796

#1797

#1798

#1801

#1803

#1804

#1805

#1806

#1807

#1808

#181

#1810

#1812

#1814

#1816

#1817

#1818

#182

#1821

#1822

#1823

#1824

#1825

#1826

#1827

#1829

#183

#1830

#1833

#1834

#1835

#1836

#1837

#1838

#1840

#1842

#1844

#1845

#1847

#1848

#1850

#1851

#1852

#1855

#1857

#1858

#1860

#1862

#1866

#1867

#1868

#1869

#1870

#1876

#1877

#1880

#1882

#1883

#1884

#1885

#1888

#1889

#1890

#1892

#1893

#1894

#1897

#1898

#1899

#190

#1901

#1902

#1903

#1905

#1906

#1907

#1908

#1909

#191

#1911

#1912

#1913

#1914

#1915

#1919

#192

#1920

#1921

#1922

#1923

#1924

#1926

#1927

#1928

#1929

#193

#1930

#1931

#1933

#1934

#1936

#1937

#1938

#1939

#1940

#1941

#1942

#1947

#1948

#1949

#1950

#1952

#1953

#1954

#1955

#1955

#1956

#1958

#1958

#196

#1960

#1961

#1962

#1964

#1966

#1967

#1968

#197

#1972

#1973

#1975

#1977

#1978

#198

#1980

#1981

#1982

#1983

#1984

#1985

#1986

#199

#1990

#1992

#1994

#1995

#1996

#1999

#2

#200

#2000

#2003

#2004

#2007

#2008

#2009

#201

#2010

#2011

#2012

#2013

#2014

#2015

#2016

#2019

#2020

#2021

#2021

#2022

#2024

#2025

#2027

#2028

#2029

#203

#2030

#2035

#2037

#204

#2043

#2044

#2045

#2047

#2049

#2051

#2052

#2054

#2055

#2056

#2057

#2058

#206

#2060

#2061

#2063

#2064

#2068

#2069

#207

#2071

#2074

#2075

#2076

#2077

#2078

#2080

#2081

#2083

#2085

#2086

#2089

#2090

#2092

#2093

#2094

#2096

#210

#2100

#2101

#2102

#2103

#2109

#2110

#2113

#2114

#2115

#2117

#2119

#212

#2120

#2121

#2123

#2124

#2125

#2126

#2129

#2132

#2133

#2134

#2136

#2137

#2139

#2140

#2142

#2143

#2144

#2145

#2146

#2147

#2148

#2149

#2150

#2151

#2153

#2154

#2155

#216

#2162

#2163

#2164

#2168

#2169

#217

#2171

#2173

#2174

#2175

#2179

#218

#2180

#2181

#2182

#2183

#2184

#2185

#2186

#2187

#2188

#2189

#219

#2190

#2192

#2196

#2197

#2198

#2199

#220

#2203

#2209

#2212

#2213

#2214

#2219

#222

#2221

#2222

#2223

#2224

#223

#2230

#2231

#2232

#2234

#2235

#2238

#224

#2240

#2241

#2243

#2245

#2247

#2251

#2252

#2252

#2254

#2256

#2258

#226

#2260

#2262

#2264

#2266

#2267

#2268

#2269

#227

#2271

#2272

#2273

#2274

#2275

#2276

#2278

#2280

#2281

#2283

#2284

#2286

#2289

#229

#2290

#2291

#2292

#2293

#2294

#2295

#2296

#2298

#2300

#2301

#2302

#2303

#2304

#2305

#2308

#231

#2310

#2311

#2312

#2313

#2314

#2315

#2316

#2317

#2319

#232

#2321

#2322

#2324

#2326

#2328

#233

#2330

#2332

#2334

#2335

#2336

#2337

#2338

#2339

#2340

#2342

#2343

#2344

#2345

#2346

#2347

#2348

#2349

#235

#2350

#2351

#2352

#2353

#2356

#2357

#2358

#2359

#236

#2360

#2361

#2363

#2364

#2365

#2367

#2368

#2369

#237

#2370

#2371

#2373

#2374

#2375

#2379

#238

#2380

#2382

#2383

#2384

#2385

#2386

#2387

#2388

#2389

#239

#2390

#2391

#2392

#2393

#2394

#2395

#2398

#2399

#2401

#2403

#2405

#2406

#2407

#2408

#241

#2410

#2411

#2412

#2413

#2415

#2416

#2417

#242

#2420

#2421

#2421

#2422

#2423

#2425

#2426

#2427

#2429

#2430

#2433

#2434

#2436

#2438

#244

#2440

#2441

#2442

#2445

#2447

#2449

#245

#2451

#2453

#2454

#2456

#246

#2465

#2466

#2467

#2468

#2469

#247

#2470

#2471

#2472

#2473

#2474

#2476

#248

#2480

#2481

#2483

#2484

#2485

#2486

#2487

#2488

#2489

#249

#2490

#2491

#2495

#2496

#2497

#2499

#250

#2501

#2502

#2505

#2506

#2509

#251

#2511

#2514

#2516

#2517

#2518

#2519

#252

#2520

#2525

#2526

#2529

#2530

#2531

#2532

#2533

#2535

#2536

#2538

#254

#2540

#2541

#2543

#2546

#2547

#2549

#2550

#2551

#2553

#2554

#2555

#2556

#2558

#256

#2560

#2562

#2568

#257

#2570

#2571

#2572

#2576

#2577

#2578

#2579

#2580

#2581

#2583

#2584

#2586

#2587

#2588

#2591

#2594

#2595

#2596

#2597

#2598

#260

#2600

#2601

#2602

#2604

#2605

#2606

#2609

#2610

#2611

#2613

#2614

#2618

#2619

#262

#2621

#2622

#2623

#263

#2630

#2631

#2632

#2635

#2636

#2637

#2638

#2641

#2642

#2643

#2644

#2646

#2647

#2649

#265

#2650

#2651

#2653

#2656

#2657

#2658

#2659

#266

#2661

#2662

#2665

#2667

#2668

#2669

#267

#2671

#2673

#2674

#2675

#2676

#2677

#2678

#2680

#2681

#2682

#2684

#2685

#2686

#2687

#2688

#2689

#269

#2692

#2693

#2694

#2695

#2696

#2698

#2699

#2700

#2701

#2702

#2703

#2704

#2705

#2706

#2707

#2707

#2708

#2709

#2710

#2713

#2714

#2715

#2716

#2717

#2718

#272

#2720

#2722

#2723

#2725

#2727

#2728

#2729

#273

#2730

#2731

#2733

#2734

#2735

#2736

#274

#2741

#2743

#2744

#2746

#2747

#2748

#2749

#275

#2750

#2751

#2752

#2753

#2754

#2755

#2757

#2758

#2762

#2764

#2765

#2767

#2768

#277

#2772

#2778

#2779

#278

#2780

#2781

#2783

#2784

#2785

#2786

#2787

#2789

#279

#2791

#2792

#2793

#2795

#2796

#2797

#2798

#2799

#280

#2800

#2802

#2803

#2804

#2805

#2806

#2807

#2808

#281

#2810

#2811

#2815

#2816

#2817

#2818

#2819

#282

#2820

#2823

#2824

#2825

#2826

#2826

#2827

#2829

#283

#2830

#2831

#2833

#2835

#2836

#2837

#2838

#2839

#284

#2841

#2842

#2843

#2844

#2845

#2846

#2847

#2848

#285

#2852

#2854

#2855

#2856

#2857

#2858

#286

#2860

#2861

#2862

#2863

#2864

#2869

#287

#2871

#2872

#2873

#2876

#2877

#2878

#2879

#288

#2880

#2881

#2882

#2883

#2884

#2886

#2887

#2888

#2889

#289

#2890

#2893

#2894

#2896

#2897

#2899

#290

#2900

#2901

#2903

#2904

#2905

#2906

#2909

#291

#2911

#2912

#2914

#2915

#2917

#2918

#2919

#292

#2921

#2924

#2926

#2929

#2930

#2931

#2933

#2934

#2937

#2939

#2941

#2942

#2944

#2945

#2946

#2947

#2951

#2952

#2953

#2955

#296

#2960

#2961

#2962

#2964

#2965

#2966

#2968

#2969

#2970

#2971

#2973

#2974

#2975

#2977

#2978

#298

#2981

#2982

#2984

#2985

#2986

#2987

#2988

#2989

#299

#2990

#2992

#2997

#2999

#3

#3001

#3002

#3004

#3005

#3006

#3007

#3008

#3009

#3011

#3017

#3018

#3019

#302

#3021

#3024

#3026

#3027

#3029

#303

#3031

#3032

#3033

#3034

#3035

#3037

#3038

#3039

#3040

#3041

#3042

#3043

#3044

#3045

#3046

#3047

#3048

#3049

#3052

#3053

#3054

#3055

#3056

#3058

#306

#3060

#3062

#3063

#3064

#3066

#3067

#3070

#3071

#3075

#3076

#3078

#3079

#3080

#3081

#3085

#3086

#3087

#3088

#3089

#309

#3090

#3092

#3094

#3095

#3096

#3098

#3099

#310

#3100

#3101

#3102

#3105

#3106

#3107

#3108

#3109

#3110

#3111

#3114

#3115

#3116

#3117

#3118

#3119

#312

#3120

#3121

#3122

#3123

#3124

#3125

#3126

#3127

#3128

#313

#3130

#3131

#3135

#3137

#3138

#3139

#314

#3140

#3141

#3145

#3146

#3147

#3148

#3149

#315

#3150

#3151

#3152

#3153

#3154

#3155

#3156

#3159

#3159

#316

#3160

#3162

#3163

#3164

#3165

#3166

#3169

#3170

#3171

#3172

#3174

#3175

#3176

#3177

#3178

#3179

#318

#3180

#3181

#3182

#3184

#3184

#3185

#3186

#3187

#3188

#3189

#319

#3190

#3191

#3192

#3193

#3194

#3195

#3196

#3197

#3198

#3198

#3199

#320

#3200

#3202

#3203

#3206

#3208

#321

#3210

#3212

#3213

#3214

#3215

#3216

#3217

#3219

#322

#3221

#3222

#3225

#3226

#3227

#3228

#3229

#323

#3231

#3233

#3234

#3235

#3236

#3237

#3238

#3239

#324

#3240

#3242

#3242

#3243

#3244

#3245

#3246

#3247

#3248

#325

#3250

#3253

#3254

#3255

#3256

#3257

#3258

#326

#3260

#3265

#3267

#3268

#3269

#327

#3270

#3272

#3272

#3274

#3275

#3277

#328

#3281

#3282

#3283

#3284

#3288

#3289

#329

#3292

#3293

#3294

#3296

#3297

#3298

#3299

#330

#3301

#3303

#3304

#3305

#3306

#3307

#3308

#3312

#3314

#3315

#3316

#3318

#3319

#332

#3320

#3321

#3322

#3323

#3324

#3325

#3326

#3328

#3329

#333

#3330

#3331

#3332

#3333

#3334

#3335

#3336

#3336

#3338

#334

#3340

#3341

#3346

#3348

#3349

#335

#3350

#3351

#3352

#3353

#3356

#3356

#3358

#3359

#336

#3360

#3361

#3362

#3362

#3363

#3366

#3368

#3368

#337

#339

#340

#341

#342

#343

#344

#345

#347

#348

#349

#350

#351

#352

#353

#354

#355

#357

#358

#359

#362

#363

#365

#366

#368

#369

#370

#372

#373

#375

#376

#379

#380

#381

#382

#383

#384

#385

#386

#387

#388

#389

#390

#391

#392

#393

#396

#4

#400

#401

#404

#406

#408

#410

#411

#412

#414

#415

#416

#417

#418

#419

#420

#422

#424

#425

#426

#427

#428

#431

#432

#433

#434

#435

#436

#437

#438

#439

#442

#444

#445

#448

#449

#450

#451

#452

#453

#455

#456

#459

#462

#463

#464

#465

#466

#467

#469

#473

#474

#476

#477

#478

#479

#480

#481

#482

#483

#485

#487

#488

#491

#492

#494

#497

#498

#5

#500

#501

#502

#503

#506

#507

#508

#509

#513

#515

#516

#519

#520

#521

#522

#523

#525

#526

#527

#530

#531

#533

#534

#535

#537

#538

#540

#541

#543

#547

#548

#551

#552

#554

#558

#559

#560

#561

#562

#563

#564

#565

#568

#569

#570

#571

#572

#573

#575

#576

#577

#578

#579

#580

#581

#583

#584

#585

#590

#593

#594

#595

#598

#6

#602

#603

#604

#607

#608

#609

#610

#611

#612

#614

#615

#617

#618

#619

#624

#630

#631

#635

#638

#640

#641

#644

#646

#648

#652

#655

#656

#659

#662

#663

#665

#667

#668

#669

#671

#673

#674

#675

#678

#679

#680

#681

#682

#683

#684

#687

#688

#689

#690

#691

#692

#693

#695

#697

#699

#7

#700

#701

#702

#703

#707

#708

#709

#712

#713

#715

#716

#717

#718

#719

#720

#721

#722

#726

#727

#729

#730

#731

#734

#736

#739

#740

#741

#744

#746

#747

#748

#749

#750

#752

#753

#754

#755

#756

#757

#760

#761

#765

#766

#767

#771

#772

#774

#780

#781

#782

#786

#787

#789

#79

#790

#793

#795

#799

#8

#80

#805

#807

#808

#81

#812

#815

#816

#817

#819

#82

#820

#821

#822

#823

#824

#825

#826

#827

#828

#829

#83

#830

#831

#832

#837

#838

#84

#842

#843

#844

#846

#847

#848

#85

#851

#852

#853

#854

#855

#856

#857

#86

#862

#867

#869

#87

#870

#872

#873

#875

#876

#878

#879

#88

#881

#882

#883

#884

#886

#887

#888

#889

#89

#891

#892

#894

#895

#896

#897

#898

#9

#90

#900

#901

#902

#903

#905

#907

#908

#909

#91

#910

#913

#914

#916

#917

#918

#919

#92

#920

#921

#922

#923

#924

#925

#928

#929

#93

#930

#931

#932

#933

#936

#937

#938

#94

#940

#941

#942

#944

#948

#949

#950

#951

#952

#953

#955

#956

#96

#960

#961

#966

#967

#968

#969

#970

#972

#974

#975

#976

#977

#979

#980

#981

#982

#986

#987

#988

#989

#990

#991

#992

#993

#994

#995

#997

#998

#999

v0.2.0

v0.2.1

v0.2.2

v0.3.0

v0.4.0

v0.5.0

v0.5.1

v0.6.0

v0.7.0

Mono Color

• 87afe65ff5
  Merge 591b304672 into 2482ebb432 Serge S. Gulin 2024-08-15 21:50:58 +0000
• 591b304672 ScopedSnocList: special operators for snoc simulation Serge S. Gulin 2024-08-16 00:50:45 +0300
• d8e194b17c
  Merge 96929c818b into 2482ebb432 Samuel Pocino 2024-08-15 22:15:01 +0100
• e3299a7567 ScopedSnocList: WIP replaced SLNil with [<]. Serge S. Gulin 2024-08-15 19:29:53 +0300
• 4d07a679f1 ScopedSnocList: WIP Serge S. Gulin 2024-08-05 14:52:23 +0400
• 90b174950a
  Merge f4b06c1306 into 2482ebb432 Hattori, Hiroki 2024-08-13 10:44:03 -0400
• 6cca800f88
  Merge da9880d5b4 into 2482ebb432 Zoe Stafford 2024-08-08 16:36:21 -0700
• 618bed72cf
  Merge f33cdc68df into 2482ebb432 André Videla 2024-08-08 18:13:55 -0400
• 6c5c34c96b Deploying to gh-pages from @ idris-lang/Idris2@2482ebb432 🚀 gh-pages Github Actions 2024-08-06 14:49:41 +0000
• 29e24f1daf
  Merge ece6741e1f into 2482ebb432 hellerim 2024-08-06 17:31:09 +0300
• f77a0db299
  Merge 1caa7cff4f into 2482ebb432 Steve Dunham 2024-08-06 15:25:37 +0100
• 2482ebb432
  [ performance ] Implement weak memoisation of lazy values for chez and racket (#2791) main Denis Buzdalov 2024-08-06 17:24:57 +0300
• ff7c0fa3c2
  [ fix ] Make searching in pairs to not cause ambiguity when there isn't (#3366) Denis Buzdalov 2024-08-06 17:18:59 +0300
• f9a5333094 [ fix ] Normalise fsts and snds and remove duplicates in autosearch Denis Buzdalov 2024-08-06 13:51:31 +0300
• f4ce85dc66 [ refactor ] Support normalisation inside the proof modification fun Denis Buzdalov 2024-08-06 13:27:35 +0300
• 9e57d3ece8 [ cleanup ] Remove one unused argument Denis Buzdalov 2024-08-06 13:20:09 +0300
• fa058001ca [ test ] Move wrongly placed test Denis Buzdalov 2024-08-05 20:00:20 +0300
• 59a72b7d83 Deploying to gh-pages from @ idris-lang/Idris2@d9049e82ff 🚀 Github Actions 2024-08-05 23:56:53 +0000
• d9049e82ff
  Merge pull request #3353 from Matthew-Mosior/clean-does-not-remove-generated-docs André Videla 2024-08-06 00:33:42 +0100
• 77d4780985 Cleaning up unnecessary code. Matthew-Mosior 2024-08-04 21:43:16 -0400
• e27296b35a Deploying to gh-pages from @ idris-lang/Idris2@4d46c18b5f 🚀 Github Actions 2024-08-02 19:30:49 +0000
• 4d46c18b5f [ fix ] Report chez failures Steve Dunham 2024-07-31 21:37:10 -0700
• d788e07c32 Removing redundant auxiliary function. Matthew-Mosior 2024-08-01 09:45:03 -0400
• c7d05f001d [ fix ] Report chez failures Steve Dunham 2024-07-31 21:37:10 -0700
• 79fdbcc1b3 Deploying to gh-pages from @ idris-lang/Idris2@b1fff6f919 🚀 Github Actions 2024-07-31 15:50:13 +0000
• b1fff6f919
  Merge pull request #3361 from Matthew-Mosior/issue-2766-hint-not-listed-as-a-pragma André Videla 2024-07-31 16:26:29 +0100
• e2d194ab77
  Merge branch 'main' into issue-2766-hint-not-listed-as-a-pragma Matthew Mosior 2024-07-31 09:24:42 -0400
• 584824d85a [ lazy ] Make weak memoisation to be controlled by codegen directive Denis Buzdalov 2024-06-05 19:11:10 +0300
• 8dc6170aed [ lazy ] Weakly memoise lazy expressions on chez and racket Denis Buzdalov 2024-05-21 13:23:27 +0300
• 63d333fada Deploying to gh-pages from @ idris-lang/Idris2@72241a46ed 🚀 Github Actions 2024-07-31 08:39:41 +0000
• 72241a46ed
  Merge pull request #3360 from Matthew-Mosior/issue-3232-init-doesnt-check-the-name-of-a-package André Videla 2024-07-31 09:16:14 +0100
• 6bda3d5746 Fixing code to address comments (inline pattern matching and Either to Maybe). Matthew-Mosior 2024-07-29 10:32:13 -0400
• 063f353a10 Remove unnecessary whitespace. Matthew-Mosior 2024-07-27 18:35:07 -0400
• ccff608e19 Auxiliary function refactor. Matthew-Mosior 2024-07-27 18:32:59 -0400
• 1caa7cff4f [ test ] addition tests for totality checking Steve Dunham 2024-07-27 14:55:08 -0700
• 572cb981c7 [ fix ] Add fuel to totality checking under constructors Steve Dunham 2024-07-27 14:08:26 -0700
• d99a48b586 Adding files to address issue #2766. Matthew-Mosior 2024-07-26 17:10:17 -0400
• ba560de6c3 Allowing for an empty package name. Matthew-Mosior 2024-07-26 14:20:51 -0400
• 8e24f12e60 Removing extra trailing whitespace. Matthew-Mosior 2024-07-26 13:14:28 -0400
• 704e80cdce Removing extra whitespace. Matthew-Mosior 2024-07-26 13:11:22 -0400
• be87320ef3 Removing unnecessary comments. Matthew-Mosior 2024-07-26 13:04:56 -0400
• d98a3c356e Updating CHANGELOG_NEXT.md. Matthew-Mosior 2024-07-26 13:02:00 -0400
• 9e8e94316d Adding files to address issue #3232. Matthew-Mosior 2024-07-26 12:58:45 -0400
• 21d5ef7d91 [ new ] totality checking can look under constructors (#3328) Steve Dunham 2024-07-25 04:51:57 -0700
• 76d6406ca5 Deploying to gh-pages from @ idris-lang/Idris2@3f76bfdd6f 🚀 Github Actions 2024-07-26 14:09:34 +0000
• 5a19a888a0 Prettify documentation. Matthew-Mosior 2024-07-26 09:53:27 -0400
• 3f76bfdd6f [ test ] for the perf regression Guillaume Allais 2024-07-26 13:58:24 +0100
• adf284260b Revert "[ new ] totality checking can look under constructors (#3328)" Guillaume Allais 2024-07-26 13:26:59 +0100
• 40f3987373 Add fromTTImp, fromName, and fromDecls Robert Wright 2023-03-22 16:13:00 +0000
• c25ed953a5 [ test ] for the perf regression Guillaume Allais 2024-07-26 13:58:24 +0100
• fcfa7a5e45 Deploying to gh-pages from @ idris-lang/Idris2@fdcd4d941d 🚀 Github Actions 2024-07-26 12:53:58 +0000
• 26677230c1 Revert "[ new ] totality checking can look under constructors (#3328)" Guillaume Allais 2024-07-26 13:26:59 +0100
• fdcd4d941d [ linear ] typo in the docstring Guillaume Allais 2024-07-26 13:24:33 +0100
• dc671b8d5e [ linear ] typo in the docstring Guillaume Allais 2024-07-26 13:24:33 +0100
• f33cdc68df add tests for JSON DSL Andre Videla 2024-07-26 01:13:21 +0100
• 6e43f9ceea Small refactor. Matthew-Mosior 2024-07-25 17:58:50 -0400
• cbb1c147a6 Updated CHANGELOG_NEXT.md. Matthew-Mosior 2024-07-25 14:17:40 -0400
• f510501386 Removing unnecessary line. Matthew-Mosior 2024-07-25 14:14:13 -0400
• 2d4e7ad825 Adding files to address --clean does not remove the generated docs sub issue of issue 1918. Matthew-Mosior 2024-07-25 14:10:39 -0400
• b15aed9a85 Deploying to gh-pages from @ idris-lang/Idris2@91d0eb3e31 🚀 Github Actions 2024-07-25 12:43:40 +0000
• 91d0eb3e31
  Show module docstring for namespace indexes (#3351) Matthew Mosior 2024-07-25 08:18:46 -0400
• 9a56dbc69d Deploying to gh-pages from @ idris-lang/Idris2@6b9f0f7c69 🚀 Github Actions 2024-07-25 12:17:10 +0000
• 61535f7962 [ lint ] alignment, whitespace Guillaume Allais 2024-07-25 13:00:23 +0100
• 6b9f0f7c69
  [ new ] totality checking can look under constructors (#3328) Steve Dunham 2024-07-25 04:51:57 -0700
• 5debeefb06 [ fix ] missing closing brace Guillaume Allais 2024-07-25 12:51:23 +0100
• 540f4cbe84 Deploying to gh-pages from @ idris-lang/Idris2@1eed6a817d 🚀 Github Actions 2024-07-25 10:46:21 +0000
• 1eed6a817d [ fix #1236 ] Already fixed, add test case Guillaume Allais 2024-07-25 09:49:54 +0100
• c83d693895 [ css ] prettier output Guillaume Allais 2024-07-25 11:12:21 +0100
• 216d90139f [ fix ] li needs to be a direct child of an lu node Guillaume Allais 2024-07-25 10:42:06 +0100
• 579331ecee [ fix #1236 ] Already fixed, add test case Guillaume Allais 2024-07-25 09:49:54 +0100
• 341bbcd279 Fixing indentation in support/docs/default.css. Matthew-Mosior 2024-07-24 18:34:13 -0400
• 975edd51a6 Adding files to address issue 3014. Matthew-Mosior 2024-07-24 18:24:01 -0400
• 8adcfada5b Add support for dictionary syntax sugar Andre Videla 2024-07-20 00:01:37 +0100
• a65298e210
  Support more flexible requirements for Golden tests (#3349) Mathew Polzin 2024-07-18 20:02:45 -0500
• f833f35e4d
  use string interpolation Mathew Polzin 2024-07-18 10:09:50 -0500
• f768bac862
  fix typo Mathew Polzin 2024-07-18 10:09:13 -0500
• a0ab31c703 update changelog and readme changes given latest test lib commits that are less disruptive. Mathew Polzin 2024-07-17 22:28:40 -0500
• 176c774eb7 add back eq on Requirement based on a requirement's name Mathew Polzin 2024-07-16 09:42:40 -0500
• 3b9b45af6b Deploying to gh-pages from @ idris-lang/Idris2@99c665774c 🚀 Github Actions 2024-07-16 10:30:40 +0000
• 99c665774c [ fix ] check indentation after = in declarations Steve Dunham 2024-07-15 18:44:35 -0700
• 3e20c4f374 explore alternative implementation Mathew Polzin 2024-07-15 23:27:33 -0500
• b6143e4b5c [ fix ] check indentation after = in declarations Steve Dunham 2024-07-15 18:44:35 -0700
• bb6c5af554 add changelog, update docs Mathew Polzin 2024-07-14 17:39:01 -0500
• b8dc062f90 Deploying to gh-pages from @ idris-lang/Idris2@182bcff0ff 🚀 Github Actions 2024-07-14 14:44:05 +0000
• 182bcff0ff
  Merge pull request #3348 from joelberkeley/fromrightleft André Videla 2024-07-14 15:21:01 +0100
• 3a43c135c8 changelog Joel Berkeley 2024-07-13 22:59:51 +0100
• 0ed19f3630 add fromRight and fromLeft for extracting values out of Either Joel Berkeley 2024-07-13 22:57:31 +0100
• 979e35a15f refactor golden test requirements concept Mathew Polzin 2024-07-07 13:43:15 -0500
• 7b4d668ae1 Deploying to gh-pages from @ idris-lang/Idris2@be2ec7d1fd 🚀 Github Actions 2024-07-08 08:51:14 +0000
• be2ec7d1fd
  Fix annoying warning when running tests on some macOS machines (#3346) Mathew Polzin 2024-07-08 03:27:29 -0500
• 3de1687453 bump version of racket setup action to version using new NodeJS per GitHub's warnings Mathew Polzin 2024-07-07 14:52:28 -0500
• 111fb4eeb4 don't use LC_ALL of C.UTF-8 on macos when testing Mathew Polzin 2024-07-07 13:47:34 -0500
• 2f8a3beb40 Deploying to gh-pages from @ idris-lang/Idris2@1931509c92 🚀 Github Actions 2024-07-03 17:27:59 +0000
• 1931509c92
  idris_support: fix environ for macOS (#3324) Sergey Fedorov 2024-07-04 01:04:22 +0800
• 1778984fb4 Add test that touches the new implementation of environ Mathew Polzin 2024-07-03 11:13:37 -0500
• eeba797738 Deploying to gh-pages from @ idris-lang/Idris2@efce152178 🚀 Github Actions 2024-07-02 16:02:18 +0000
• efce152178 [ fix ] compile time typecase for functions Steve Dunham 2024-06-29 23:49:52 -0500
• fed9fa543c Deploying to gh-pages from @ idris-lang/Idris2@22c25e945e 🚀 Github Actions 2024-07-02 08:56:08 +0000
• 22c25e945e [ fix #3339 ] Set the global test locale Denis Buzdalov 2024-07-01 19:21:55 +0300
• c5abf4be35 [ cleanup ] Make makeFuture to be %foreign, not %extern Denis Buzdalov 2024-07-01 23:05:00 +0300