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

#3371

#3371

#3373

#3374

#3376

#3377

#3377

#3378

#3380

#3381

#3381

#3382

#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

• dbcfa935de [ test ] for the new feature Guillaume Allais 2024-06-03 17:58:39 +0100
• e115acaa4f [ new ] System.Concurrency.(Linear/Session) Guillaume Allais 2024-06-03 17:47:28 +0100
• 940d7dad57 [ refactor ] moving Data.OpenUnion to base Guillaume Allais 2024-06-03 17:29:06 +0100
• 1810306960 Deploying to gh-pages from @ idris-lang/Idris2@a6c5cf5af0 🚀 Github Actions 2024-06-03 15:06:35 +0000
• a6c5cf5af0 [ fixup #2939 ] Make futures not interfere with optimisations Denis Buzdalov 2024-05-31 15:22:53 +0300
• be72fdb5bb Add note to CHANGELOG_NEXT Mathew Polzin 2024-06-02 18:38:48 -0500
• 06af29dd44 Add new module to api ipkg file Mathew Polzin 2024-06-02 18:06:57 -0500
• e0cac964aa make new operator private Mathew Polzin 2024-06-02 17:43:46 -0500
• c7cae0c147 maybe just don't collide with existing equally good fixity Mathew Polzin 2024-06-02 17:25:09 -0500
• 66b5edb1cd cleanup Mathew Polzin 2024-06-02 16:31:33 -0500
• 8fa943d24d Add a test for ipkg json dump Mathew Polzin 2024-06-02 16:20:20 -0500
• 875fb65045 make dependency output easier to ingest by another tool Mathew Polzin 2024-06-02 16:03:38 -0500
• 7113949360 expose ipkg json dump as new option Mathew Polzin 2024-06-02 15:39:54 -0500
• 816acd6c52 Initial stab at package json dump Mathew Polzin 2024-06-02 15:18:58 -0500
• 9020f60cee [ fixup #2939 ] Make futures not interfere with optimisations Denis Buzdalov 2024-05-31 15:22:53 +0300
• 3a2c41ccf5 [ elab ] Make %runElab expressions to have unrestricted quantity Denis Buzdalov 2021-10-17 21:17:07 +0300
• 8e30089535 Deploying to gh-pages from @ idris-lang/Idris2@10b0cc3240 🚀 Github Actions 2024-05-31 09:46:45 +0000
• 10b0cc3240 Updated CHANGELOG_NEXT.md Aleksei Volkov 2023-04-04 17:38:07 +0300
• 167258b975 [ test ] Added regression tests for #2927 Aleksei Volkov 2023-04-04 15:56:12 +0300
• 24fcc0b551 [ perf ] Use delay and force to memoize lazy toplevel definitions Aleksei Volkov 2023-04-04 13:43:52 +0300
• d4f84ab78a [ fix ] Do not lift expressions inside %delay during CSE Aleksei Volkov 2023-04-03 16:08:01 +0300
• 7387df6741 Updated CHANGELOG_NEXT.md Aleksei Volkov 2023-04-04 17:38:07 +0300
• 35f7b3bc79 [ test ] Added regression tests for #2927 Aleksei Volkov 2023-04-04 15:56:12 +0300
• 28792d318c [ perf ] Use delay and force to memoize lazy toplevel definitions Aleksei Volkov 2023-04-04 13:43:52 +0300
• facbdafd86 [ fix ] Do not lift expressions inside %delay during CSE Aleksei Volkov 2023-04-03 16:08:01 +0300
• 85f48dc2b8 [ doc ] Optional argument is not required SlayerOfTheBad 2024-05-26 11:06:02 +0200
• f87ba194c2 Fix tests itmuckel 2024-05-24 21:41:41 +0200
• e751a67acb Deploying to gh-pages from @ idris-lang/Idris2@e73ca067ed 🚀 Github Actions 2024-05-24 07:29:59 +0000
• e73ca067ed
  [ performance ] a faster implementation of unpack (#3281) Stefan Höck 2024-05-24 09:06:56 +0200
• ad4697da44 refactor(base): move implementation of Data.Vect.nubBy to global scope troiganto 2024-05-23 10:00:56 -0500
• 9fa23f5330 Add pipeline operators itmuckel 2024-05-19 12:05:53 +0200
• 57caf0b6f5 Deploying to gh-pages from @ idris-lang/Idris2@cf68e995c4 🚀 Github Actions 2024-05-19 14:24:35 +0000
• cf68e995c4 [ funext ] Add a proof for funext variants with the other quantities Denis Buzdalov 2024-05-16 20:37:37 +0300
• 3f615ad1ee traige Mathew Polzin 2024-05-18 21:20:55 -0500
• a6924f034b I think passing the ENV var inline is the problem for Windows Mathew Polzin 2024-04-04 23:01:40 -0500
• da44616338 slightly improved bootstrap logging Mathew Polzin 2024-04-01 09:39:57 -0500
• 123de69eba replace 'bootstrap-build' and 'BOOT_PREFIX' with 'IDRIS2_BOOT_PREFIX' everywhere Mathew Polzin 2024-04-01 09:14:47 -0500
• 8fd37f9823 [ funext ] Add a proof for funext variants with the other quantities Denis Buzdalov 2024-05-16 20:37:37 +0300
• cf28f50873 Deploying to gh-pages from @ idris-lang/Idris2@2a3f0311f2 🚀 Github Actions 2024-05-18 07:44:19 +0000
• 2a3f0311f2
  Merge pull request #3283 from dunhamsteve/fix-windows-ci André Videla 2024-05-18 08:21:28 +0100
• cf5c594474 [ fix ] fix windows CI, aligned_alloc not supported on win32 Steve Dunham 2024-05-17 14:37:03 -0700
• a65f775dc7 [ test ] fix expected output of unpack test stefan-hoeck 2024-05-15 16:23:07 +0200
• eed0ea5730 [ test ] add some documentation to the unpack test case stefan-hoeck 2024-05-15 15:52:48 +0200
• e6c36b48d5 [ fix ] partiality error in Hangman test stefan-hoeck 2024-05-15 08:28:58 +0200
• c04cd52986 [ performance ] a much faster implementation of unpack stefan-hoeck 2024-05-15 08:11:51 +0200
• fb19f0d9cb [ doc ] Update documentation for with Steve Dunham 2024-05-11 14:11:01 -0700
• 7bc68deb3d clarify toMaybeT docstring Joel Berkeley 2024-05-05 15:57:27 +0100
• ba3f5b450b changelog Joel Berkeley 2024-05-05 15:43:47 +0100
• b5295f6dd3 dont execute effect in toMaybeT if condition is not met Joel Berkeley 2024-05-05 15:40:00 +0100
• 68389d03be
  modify CONTRIBUTOR.md Anton Ping 2024-04-15 15:29:08 +0300
• d9ece51f2b
  modify pragmas.rst Anton Ping 2024-05-02 18:01:56 +0300
• f421ffcf31
  modify CHANGELOG_NEXT.md Anton Ping 2024-05-02 17:56:46 +0300
• 16357bfba5
  add tests TcInlineFuel Anton Ping 2024-05-02 17:37:55 +0300
• ecb9f99a7d
  uncomment %tcinline Anton Ping 2024-04-15 15:07:56 +0300
• 9f07dc8413
  fix caseblock looping bug Anton Ping 2024-04-09 19:52:49 +0300
• 87d0ddeaf0
  use tcinline_fuel pragma in CallGraph Anton Ping 2024-04-15 19:17:28 +0300
• 3f530998bc
  add TcInlineFuel in pragmas Anton Ping 2024-04-15 18:36:21 +0300
• 49ac091f09
  add tests Anton Ping 2024-05-02 17:12:45 +0300
• b49be30c79 lint HIROKI, Hattori 2024-04-30 11:00:44 +0900
• 9cde4df5cd Merge remote-tracking branch 'upstream/main' into refc-sticky-value HIROKI, Hattori 2024-04-30 09:50:20 +0900
• d320a129c8 Deploying to gh-pages from @ idris-lang/Idris2@5d04f89c7b 🚀 Github Actions 2024-04-28 22:35:37 +0000
• 5d04f89c7b
  Merge pull request #3270 from dunhamsteve/impossible-lam André Videla 2024-04-29 07:12:10 +0900
• 7854bf4ab0 [ fix ] Fix ENOMEM on macos rest runner Steve Dunham 2024-04-28 11:10:19 -0700
• 960d818c29 Merge branch 'main' into impossible-lam Steve Dunham 2024-04-27 16:59:11 -0700
• b99dd05224 [ parser ] Add support for impossible lambdas Steve Dunham 2024-04-27 10:08:09 -0700
• c58737ae32 Deploying to gh-pages from @ idris-lang/Idris2@84ce3a6836 🚀 Github Actions 2024-04-27 23:40:35 +0000
• 84ce3a6836
  Merge pull request #3253 from dunhamsteve/issue3251 André Videla 2024-04-28 08:17:18 +0900
• 3489cc3fa4
  Merge pull request #3269 from dunhamsteve/fix-macos-build André Videla 2024-04-28 08:16:30 +0900
• ed3fe023cb [ fix ] include ambient CFLAGS/LDFLAGS in ccompilerArgs test Steve Dunham 2024-04-27 15:31:59 -0700
• 93bf394370 [ fix ] Use HOMEBREW_PREFIX instead of /opt/homebrew Steve Dunham 2024-04-27 14:51:25 -0700
• 2e27921771 [ fix ] propagate LDFLAGS and CPPFLAGS to test makefile Steve Dunham 2024-04-27 14:40:07 -0700
• bed2013328 [ fix ] fix macos ci Steve Dunham 2024-04-27 11:50:00 -0700
• fec7c40bb1 Doc: Use executable command for opening lib docs Daniel Rainer 2024-04-26 22:49:07 +0200
• 3fd046461f Merge remote-tracking branch 'upstream/main' into refc-sticky-value HIROKI, Hattori 2024-04-24 06:50:21 +0900
• 8aaebdd79a Merge remote-tracking branch 'upstream/main' into refc-sticky-value HIROKI, Hattori 2024-04-24 06:49:42 +0900
• 953649cbdd Deploying to gh-pages from @ idris-lang/Idris2@2298f8837b 🚀 Github Actions 2024-04-22 16:13:56 +0000
• 2298f8837b
  Merge pull request #3267 from stefan-hoeck/fin0 André Videla 2024-04-23 00:50:10 +0900
• ae3a43f72c
  Doc: module naming constraints (#3256) Stefano Volpe 2024-04-22 16:43:49 +0200
• e1c5c2fd8e [ fix ] issue 3266 stefan-hoeck 2024-04-22 15:44:35 +0200
• be3baf2622 Deploying to gh-pages from @ idris-lang/Idris2@517b2832ef 🚀 Github Actions 2024-04-21 23:58:05 +0000
• 517b2832ef
  Merge pull request #3265 from andrevidela/fix-fixity-warning André Videla 2024-04-22 08:34:46 +0900
• dd991861c1 fix error message for unexported fixities André Videla 2024-04-21 23:27:29 +0100
• 6d4495ca02
  doc: implicit module declaration Stefano Volpe 2024-04-19 18:12:44 +0000
• f074f41522
  contributors MithicSpirit 2024-04-17 11:52:19 -0400
• 434c08ce23
  [ base ] Data.SortedSet.leftMost and .rightMost MithicSpirit 2024-04-17 11:41:55 -0400
• 477fcd12fb Deploying to gh-pages from @ idris-lang/Idris2@1dc7b74e4e 🚀 Github Actions 2024-04-17 15:11:59 +0000
• 1dc7b74e4e
  [RefC] Suppress arglist wrapper (#3177) Hattori, Hiroki 2024-04-17 23:48:43 +0900
• 247500112e
  doc: mention sourcedire field for ipkg files Stefano Volpe 2024-04-17 10:43:27 +0000
• 114907daaf
  doc: remove article Stefano Volpe 2024-04-17 01:21:08 +0000
• e6ed5f2851
  doc: mention .ipkg file in modules naming rules Stefano Volpe 2024-04-17 01:19:47 +0000
• 5e08a54552
  modify CONTRIBUTOR.md Anton Ping 2024-04-15 15:29:08 +0300
• 9d5d9969a2
  modify CHANGELOG_NEXT.md Anton Ping 2024-04-15 15:28:56 +0300
• 0e5d43c66e
  uncomment %tcinline Anton Ping 2024-04-15 15:07:56 +0300
• 195b4cd76a
  try to fix caseblock looping Anton Ping 2024-04-09 19:52:49 +0300
• 6020c7f047
  add fuel in Value.idr Anton Ping 2024-04-09 19:30:29 +0300
• 9bbd29ee20
  add tests Anton Ping 2024-04-09 17:40:18 +0300
• a4509d7e17
  Doc: module naming constraints Stefano Volpe 2024-04-14 09:07:00 +0000
• 4799d289b8
  Merge pull request #3255 from foxyseta/patch-1 André Videla 2024-04-13 08:12:50 +0900
• 12c4a94bc2
  fix: typos in "Types and Functions" Stefano Volpe 2024-04-12 22:04:22 +0000
• 20d31879ae [ new ] added util functions for SortedMap claudio-etterli 2024-04-11 12:23:10 +0200