mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-11 13:36:08 +03:00
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
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
-
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 quantityDenis 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
andforce
to memoize lazy toplevel definitionsAleksei Volkov
2023-04-04 13:43:52 +0300 -
d4f84ab78a
[ fix ] Do not lift expressions inside
%delay
during CSEAleksei 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
andforce
to memoize lazy toplevel definitionsAleksei Volkov
2023-04-04 13:43:52 +0300 -
facbdafd86
[ fix ] Do not lift expressions inside
%delay
during CSEAleksei 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
unpack
(#3281)Stefan Höck
2024-05-24 09:06:56 +0200 -
ad4697da44
refactor(base): move implementation of
Data.Vect.nubBy
to global scopetroiganto
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
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
docstringJoel 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
Anton Ping
2024-04-15 15:29:08 +0300 -
d9ece51f2b
Anton Ping
2024-05-02 18:01:56 +0300 -
f421ffcf31
Anton Ping
2024-05-02 17:56:46 +0300 -
16357bfba5
Anton Ping
2024-05-02 17:37:55 +0300 -
ecb9f99a7d
Anton Ping
2024-04-15 15:07:56 +0300 -
9f07dc8413
Anton Ping
2024-04-09 19:52:49 +0300 -
87d0ddeaf0
Anton Ping
2024-04-15 19:17:28 +0300 -
3f530998bc
Anton Ping
2024-04-15 18:36:21 +0300 -
49ac091f09
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
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
André Videla
2024-04-28 08:17:18 +0900 -
3489cc3fa4
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
André Videla
2024-04-23 00:50:10 +0900 -
ae3a43f72c
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
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
Stefano Volpe
2024-04-19 18:12:44 +0000 -
f074f41522
MithicSpirit
2024-04-17 11:52:19 -0400 -
434c08ce23
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
Hattori, Hiroki
2024-04-17 23:48:43 +0900 -
247500112e
Stefano Volpe
2024-04-17 10:43:27 +0000 -
114907daaf
Stefano Volpe
2024-04-17 01:21:08 +0000 -
e6ed5f2851
Stefano Volpe
2024-04-17 01:19:47 +0000 -
5e08a54552
Anton Ping
2024-04-15 15:29:08 +0300 -
9d5d9969a2
Anton Ping
2024-04-15 15:28:56 +0300 -
0e5d43c66e
Anton Ping
2024-04-15 15:07:56 +0300 -
195b4cd76a
Anton Ping
2024-04-09 19:52:49 +0300 -
6020c7f047
Anton Ping
2024-04-09 19:30:29 +0300 -
9bbd29ee20
Anton Ping
2024-04-09 17:40:18 +0300 -
a4509d7e17
Stefano Volpe
2024-04-14 09:07:00 +0000 -
4799d289b8
André Videla
2024-04-13 08:12:50 +0900 -
12c4a94bc2
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