From 9f93d4c1ecde90244f5fa01cb166c6b4f11a509d Mon Sep 17 00:00:00 2001 From: "G. Allais" Date: Thu, 26 Oct 2023 10:35:01 +0100 Subject: [PATCH] [ doc ] Improve the landing page (#3119) * [ doc ] Improve the landing page 1. Mentioning the network package too 2. Adding the Idris logo to the page --- .github/workflows/ci-idris2-and-libs.yml | 1 + www/source/idris-logo-base.png | Bin 0 -> 15968 bytes www/source/index.md | 13 ++++++++++--- 3 files changed, 11 insertions(+), 3 deletions(-) create mode 100644 www/source/idris-logo-base.png diff --git a/.github/workflows/ci-idris2-and-libs.yml b/.github/workflows/ci-idris2-and-libs.yml index 95e5b19021..1075806248 100644 --- a/.github/workflows/ci-idris2-and-libs.yml +++ b/.github/workflows/ci-idris2-and-libs.yml @@ -761,6 +761,7 @@ jobs: ./katla.sh cd - cp -r www/html/* .github/scripts/html/ + cp www/source/idris-logo-base.png .github/scripts/html/ - name: Deploy HTML uses: JamesIves/github-pages-deploy-action@v4.4.3 if: ${{ success() && env.IDRIS2_DEPLOY }} diff --git a/www/source/idris-logo-base.png b/www/source/idris-logo-base.png new file mode 100644 index 0000000000000000000000000000000000000000..5577e2983c630580728f9f504945e41bffab9770 GIT binary patch literal 15968 zcmeHuWmH_v(k_Dx?(QDk26uP&K{EpkfnbBXTL>CFNN{%v8azmFhY*4$xF%R2z$NdI z@0@kNKWD9b|DBn&WxA`Lu6nAv*Y57wF*;hx*ccQT2nYz+swxV4PgjShqZbYMbVjnt zrAI)(TlF&ld+0&E>ELcIw)T!NIuBnsj1J~wZ;OE7vr_WbKAEZ$JL2&tkrX0n5?#W8 zV88I$`F%m9a{A7`BKRs!;H!nj1d58yv*pd-hk3%k!)aA1!VQimOk;n)iuvA`LbINC z{##S`UC)$ucHZ@D-O|9VdE#63$l)K|N5}4uOP3ecA=l8e>IVUx$GFs;I+x6Vq0@EX zt%gB>;#-zG{-i)4`>#O8Kp@$66Y=5gPm +Uq5)+dJu-ygOpTK-%se5@x?nkoKov zsRj(e>c2SiZypIoH)4JWyAon@|1ejbBEGMV2>H#eB^?w;Z1KGE_f_fh#@VUUrprst zfT{FvQ(WK8lD;GkuUq0)JV-0qq@T;5uof8e+!xo5fYzP>wpYk_4S(Ge(g z`95uz{2HKrUf~b1k3SONo%g+XzTFyrfI{SD?)sxMxkRJGIk|aGML2iYwPcWhIWH-V zMYPWRU2K7cm@)9RyH)gOMd+{}+)b-&X0ZT$)$dqS>&>hL`Lz_$G%MIIMAk)Y;-!FOKwo z;%iRTwA*r{*2>%36s9Xpc!C5}(p6BT*{QMOO)KY3%@$Uw7G~5^jLaNXa)_cy(((7%yFB*ax7K!f9}YAUt2CMNzjwB^=G}#S>nlSQj^q2usc(zjq?sGILWOz5Y2x|5 zq>9JPde=hecf*&(udT(vFKyo}xVNOdh{GCH zZC|@c>r7gY^V@l-`+$=6{73rZ(m0CtS6bVXI^R2s#g?&YKhTv?0jeNLW#Y9qZ96V$ z=X2VcV+4UAXXIK{sz3nca?hAf?h80c{f2}?c?;t!WGpX0nHuivCzq&rMF2xlFVME-O_o+ zHKLN|RBxq2x!x&UxInx7*H?DCTr2ash z`O8J_TjFM`OWc8d^M~kqRBOyK$2>|--g{18CYd(?+1W)g)sQBqgY-ATnd8wI<|e1* zn%AO3pk(_z1y2i6)L!tho!Fa*dSHxL=eVgJ-IS_VA~($1!IH5d-@T++o}g61F(bj( zkL(v%Dw+Xypo-t%J4UpPp6ZdpKh^*G{mOAMiw(SAa3`Q4m#CR+e28yuj@Q^{y}0$%PwjOxx8{)&dn{ zba$;bfkJ4hSQ2qi*Hcd@jSlksdq9CM#b&)C^{LJc(R(-Q{=Hr&hZfDx<9kajCS0Hn zfEI!op^3Qrg{9u%{ZX?qg>|1IR;o46u3lOd-tueCyl(%F_*q~D>2FFwj6Ob?hJ&zX z?4~Md@3yrK-*tYZm41nv3mdPx2j=ut#2^ma8#W_~5+hr+J3MBYFA|{ddpdat&sf`m z8_i2mNMqeyyGFh0POS;5H7!}Mu#_auaewl$5r_Vojq<4-=Ymm_d0}HK&m|<#tx>tr z#S(hzcg#c9S5BkQN0(bC{EO2%*kc{VQ>2|Q5({HGqcnvSiDy|B4~6iIml&jB+ICzM z35#yRT|8xoIW14i;@~rEp+(Y3bW2Ojm9HB%1dm8^`HTF; z!elcL`Ep@jHmz|#h`7`js*YvuOK%$Pt)NSK@i)*O$7jDTea|Ag(tTe@pf+}#JW>Th zb)%Qw@E3Hy6^@B?`n-B(>T|NIKfP?9V2I}7Zy)=$E8&d${d|a?3MqeqWG%a*a;HI? zE*fe(^h}XBHQbxD4%5gnBA$~+gGi?vrk@qPu+a-{1JDaNb%$7BQp ztnH4x9vACz?rCPI3FW%XK)sX7R_F|Asi$n}w-Q=<^RHQgj zW4P5E6j5QIoMqblvGgs7nQ=64nWvNKH z4L0M$7&xr60IB~_5A|7gOdu61NE@r2I~a2BQ#KGK^KpI}o>YN#gNC%QQVAyGPu2~I zqJ@X5{T6gY)1nU6)HUC^0BA1|V~;fcxHK=c;}OmscfKZhgN0Jgb(p0U$o$i|<>}`o#+a`E8lGXRv@7d5AXt zB{C8rEfbWmt4o)cGPZ=pk<=mL#?(CxqOcR43mISGIWi(qsxl1CF;XN$KP@BYl<9ac#aZ;DI5`Wey?)JQJamO3 zb!8n+5}6KQQW%bJp;tj}^tyVzf>j+DQSM8b9oeeKMo1iP>19>984)!`wxg%~!(f)a z-N$5I;mqV z#|CuTAfKz~TtTg*I>ZIlIhO0(op^eoF|*QoMOLGg`sJ^ZX=^liqWHLr_cT(+CU2fG zjLZx0p0)DQ0)~KiOf1h^4Pyi>b*%f+T4#V47(*uPaYHi1KVp%lV0b?ibJzu5)vF8) z>&M_0P%opW7k2jnN1|p4BJ}3JKC2%>#!T^P~*i*>#% z3W-M6t7x-dXr6=~NXm7c?OZs=d8YD_M)D?q`9fq{=vrzOu|z>HOg*0k$DLN>&+4W<@IL^R_D_Y26-!ZQ&YRTVK>hF*UZCXxbCq$VNJV0ri(m{7K zYyh_o(Ypqn_O~rqm6JCn2dz2@N!z*g`w5-Q9z0oJXWK`r11q!&etA^>e=5cXLSHa@C&%8l%`yQc0Wt;7Lnf9OBm9f{$P`liAnO24~o6gqq8Fv*e^-F;RL`|8Ij2{pi%L{0-@b_)Ie_*+!aWC!m} zD4Y&$IRKZ)F^atAg%YnpT63Q#f6=_V99>u0t8#?p{rJ7!rcIeI2`J4z((+_cMLMq% zJpA66f8p|oj!O-hNkzR!-D@v-}zkUNNm`>yOtBH-Nz%bS2K-QPrU z&G%TRF@iP9ZWeA|;#z7#t(*s@6vV8htzy~eNVPHJz7CSl+0Zq_a#el_iCYK_zZkh~ z?%a8f2`>E}nb#1ss^5_x1)%M}qiHoVZMFUI>SxDD~>vCnd1QgWxEKr9-K zHS#`c6jE$voi`W<#ku~CoYNE$D42A@E_5pnj&salVJv@gT>*CBt&ZrsZBN+C!-r5tV9K> zT{>k#_o6>+txFHdOff!SCqY0u94m#MyXS<4M0@FFDJ3vEX^)iYGX>=RQm;XpO)%Wm zo}x=B6CaP16y?#Ve@T%K?=d#ji4^&?CUwwMI2TRs-gkKGl%dkK-*NVC72^Op)LQ|ZK1^w;-(h9jQuMTe`ebqtY$?+)M0 zu1jutDBL;%3Zcj6<{ti}yhH4n?&7?m+{81#$HcqrkX|CCZRN6on%aK4XT_{u;m}F) z3n(sBs<$`cCD2T*X)%<6aSf+pqhUlx-#GTZ|Bbtwvb>F>P7dQZfftM0t5 z!XJ!ojU*7Vdb}SGsK2KPJSLy-4xim4eo`W^zg%O)^27f4KGfzrTbPV{tZg4vqI&WD z6?d!^ZYH_o&;)6~l!h8B6>ajw=Z=flYejT{U>!&N-i6gNb$?4O`7JK=ZXZ-Jw@6%$ z@Nd_tzc98c9s}3bhLe7OfPLU1QkudI`I<=50VT?&xxUz=mXwIzj$-+JCrBtA_fv|X zHHKd~4{3rv>J@ilKs|9AnT9;1jlnqQWTA4JKUtj;Rrn*y#M~6VxUPK5`HY>H%JaLv z>Cbs5!?}`Ly?BT(Cj==HR+e?}BK%8!?eDR7Ad=2pchq@__4KT5DKokn;r&()V9N=$WH5b|tfNH}e$Y{<)A zi}&RSKS(PCKEWTOf=2H^wZyZ@; z?1D@ELySgSRyn~?eLaP$4hb_6@eF!SvEtV(Vd@p%k5F^b$r_h5^?CQ_Ccn!&^F~Ls zli;j6h*h+@qO#|YucF~mSSm|9mmWI?jm9eJac^X2|NJ2z`F*&CbD}2#^kJ}I?^i^p z=PJQaB{}l{z38##e*Bvl4v z$fDLu)fCxryzpE{baFXgy=LV$jbt!DdoNdo^DN^*HYJK_a8MV{C34dQ_Jq4GF7z4V zAqUHtTjUT~6n{KTmWw4j6*<}LIt^^U!@)a%m6}i&g_M4=WydGw|7^&2@fxpR-~}%i z|5#>9F;l?sk|bh4PwYA8V~4bIVpbCw9$w6gx6qZ3lpj;FTl#$SMEYMhss(6CSk0ou z(6-n5{2prGXzb-@v=tN7rlKdobgFLV@E9cp(NyKMia2~{cUVj5;mw&d zPH)$8z(eP>LMKpQEia4!IexTTQf){o{MnWm+e{yk#QK2eVVQ_=uG^hQ?7m1;REPs8qn6jc-p2mx4>k5z zr>GkRZgcxhD11)~QWW-23r}E84KZsMCvK>XixrI9#|i$lFol31A?*W)T06iz=&WEb z?42bUPCI)T=X(Sy0Wc)D4`6un^19*qAAVPpMIeYmHa<6rLB zSo6RfVNOq??oX}q{acgDs+v0g)c8Ze3wtN{Us_LO|C^+Tz3u;y^>4QQsrk#De>LPu z{hzr1CjAfJ{}O(Z($o}FaIyCMW1gylB*UNf#cW)x?QO*Vy0sD&6%>N;@pHlW1z}tQ zd>|;7h_x^;7avGS7%D8x%O_+F`xhuxXLk>%vo-7w)Dt+j{Syv|7i1$OBJu>mYa_@d zAZo?SC1L}!=CX!90SgI11^DLD^V~DY>{gL7&2D?*x4TIJj;tDz^ozg1b= zL7iW~p8EIS6Y3x3_WxV3piog;n3XV>ppcCSmw+|Y_9@;r!d$ij{K9-zP$3~+UaNmc zcXzS%@P@jQFJ1o;1OJimf3xfV8C@9vGvR?bKRpF`KTT)M ztGL>prb0j~b!7#F$3NfvuCkP;5_GtViTl(1Y3a`akYmmEc`8KpP}NjK-9^R11`t-# z03Hw!XtY!nWDR^)j&prI43=_trRyr2F>9)UO)E!zA3=Nxq>lC2=uyQn*2DWT;+p=p zAoXOeEv-C{JlFI!+pV|z8YIK}T2|I9UcErddOkGXWUNeTrUtZna2!*_l|{+Q+VAsD z?MqgNib`Wo{+K&6njCTwpKIHHGvArIsPEeBpcXr>J!7P+Xh&GS7;46yMM?lLX zCQ%%4`slo(e_B0%AHmTCan2<&*bE8fXZ{hA9eITnpJm?1s$0oH1R{BBmu5moX^on z)i#tQkc0?&L5F<88 zPyMnvuF=MUK2+RWX50T<3i+xDUa2Soa=!Sig2bW2DK^!6smE%H)&zo90@=vVHb7v1 z)BpqIh4aEGB?hqVv_wb~`O12DGTXEuIfg*}7wD>p&&#yE_eC&QItpbF*p~Yc(19x( zNy={9m&`PR+)R`yj@j)eEN~L_^JY69y*_H@1`e3SDCdsc((XHc%Zt(r+!w94C0-Q; zCZx$Lb0P{+^xj5*9Yb3rbwHG}Ljz?3#M&C6U!0?R+HhAp^Ha(AWt0fP!me*|JJdI9 zXy(^2)Q^*j+c-rrjRJ5^K1CFLpH4^MQ2My#T7DFf;tsI~*^tL3LvNkV=5uwfyA@=uNFhbk)!8|FGjXILl&eVlEa&B7&+PKW5;@TGwL`aZ!r?5qC2*-YZN5`i@fAC-*t|| zQrw}DNV5~M0xA@^d3RXFM^W1t-^yK05Ucy{`L0pgHp8~vH=(FD$klUhkbQaHQ-&iK zUx;Aajed{JE@YbW&_ars4S&XaUOrvxYt#|7P@Y=|FsV$w z7HEIVl2@l0Ek=FdX?M}zt`0v@7Dlx!q7M^bqDp&@f$=~kRNNcUP2$x*DBVBjzd;o= zeSwce(yN~IGCWQ7tc}{pA&Ij3({VUQuc|PSP~W7>dXCOKBU&cXh$*IeUWjqZov#v$ zflE}KOQbahuQt;=#`H>KCly1d9q`BKqJffHV*A*pl9a(X9^1y=cC=<5cH&jfV*iwS75T#5QUH6ZVQbo$vw?J#7fKUh-zGYJCt295~8gz*L0vj!;LC`lU-~nklW` zD1iJYq=YiTA_Q0!GRO|5!N2!l$DhS$_L7;?EnmiA{t9O%9kS^Yal&)0l~ohtd=7LN z>MPiut{!)*+GLxOy(vdX{;~0{n?#h(8mGEE{C=qzN7}L1YQaM|fGT{f1D|iv7Qq`( zOVVF32LC}aG8t+HM4G_aF6&Ea9Voen3nHdx;hr5u5{^NPfa8a#_2a+lFPMnloA8Qk z^-WRWwH?B(ajDvYCHi#IWG=m_;X#w7aCw0-ARssJaBc_S;MFcE`@)Ea?nK`REA|`-( zIt5F4w|84e<=8=2Ov4iGm;YwD-$N2Y?DY_G-EBc9_B8v(fhB7e4jUmPL39uwZP~_$ zm3T5E=J`$wp64{+)Wq%`k|80~DR?y(_2;ncwr)Ao$LUnb5tf-CD%yO}P%Yu+K!h@L zIFy7_>x5CF7{OhG(4w(UQK4!qY_kAq4R>SKE%O}?=AHEsTYWR8nsoAons$9Q6Kj1C z)pLeM(&nG=8X`54zAz1aC&m09d6;t;oB3NhRS!w6{+M zT3JFdF3q8^me~(7+PEGkQQ;^_d0!HJvd~(OL#_iG=W@ZZS$Aq12SxRC#5-55cAVpf zQLkeQ`8!ePo);A?cC{+OajCi~pTP#gq`dr$NIY_qs$I%vnbQO614Q^RyK7a)o3t5U zP>ipk-vvCJUc?*KJHOrqNHU*oBEgl#G;qxYXiB>=?>rhfJ2~Alf-uBrqN)XM9D`$L z>3DF(5>@ph3VJSPu#D=sf67duEcX~tEjIvG)ApkhIX1G~P&nOfJk0zy1-VEni~8K?n&7xH5K(p)LXL@j%?l6Dz~Eth?dl*0(&zBlbC`+<;MhLhbuf0-=TI@ zW`Q!-B&=pwQxlQFf{)tPC6G$;7bi&cQ$RBR-0<ypA}DU>LgY(0W!lO3t#6(T3Z5nXA)*f>Fhs_B9hxbw8;L zrH9Q?DAOt$b#~*eXZ;DEN-j6TaA4QW3G@8w1wxUI3SUQZicy zx1DoK-;E8}m*aQq0)K~e;a6RlssLOaBQo$q)D*)FyLgEVbH zCEhao#62_(oHV%`_nh;)y%}*mp0fAQPu_wR*FV7b?}q8vP~K74X##DWh+RLIuA&+< zX?pX+mEL{Ip*upU1sve^?NitDpdSqNMKt5FX9%chhNF@UkiO`v2-l$vrN+%ajT#j^ zdnHe9T52EM)8Trk%H~%FRRkvP3H0%PXCMI@@R@m3Wriyi6&jszQYGU><1e|rucCWbj@+0!+=^@-x9EG{L65Y+UL(v zy;nBYWSOF!!~CDKdzAwdB9M z`Sj!b($sM^e<=`0?fiMZ-!d=YMarz1lo{v8gZW8&q?e(i49oYN z)pa4qeGhv-H@_Ti@-c~IgOUhn_k1gR7XUpdnN0M8)~_1F(NeP=`q{#38ng+888jVn zeywc+4@=3i+yJH_2Sy^-R1(I>k7JY(%%!3CvNxX)GwZg}RiO`U-6>~{xMIVvXSVgP zU!#Hjl2%0(d)0IypRLfVWu`mcxNTSQ^s0Z^sQb#$gIa7b;!p98xD=w%ru7&*{VhWC zEkl$)13Jk)69W>PI#vzSWsGY5`0aR2s^7%n*(A_si0y~JOcr2lsaIZ&sx?6Q}uQFeeJy8BeV zT|0n!fIdORKUMRcgN_=1#TD(^GL)OaFt@87(Sd%r<1rRP`#psn^1i<%5)= zLSxE^Cyy4UZLYdd<;2Cz7Jw6pmvp)VUrlYptXnoN0j5VRjz1#~bzP#Y_kG=yGDuDD z+Q6FW>C`C8EA9Ou1olc%c>0Rcr;Z>4dW!lQ}ZK|-)?ujwOAkR`4Qw#{f=7;0Jpel2WoAWwI%0VDlc83D>=_VcUj zBy!p8$=0&|9KpfSx zY_sk%$jZwadZ5wJ?Z!n$q0rx^gQDmVMid(VEZ=WC_Z-8hZsuHnc?qHCRQpGO5s@Fx z);g9M=LI$xV;sxYsm7)pyJ(d7GzSK(zPmn?Ck6PS!IiKC36n?6uR6os9GPDTc}_^#T6x=}WkKXDsk0p}Mr+X88|k7(C$s{y$(v>y zE~uag0?DI5kOFEysUh34cYU{cRR-?{5_;U2)*s@I;gK+2FO8Wb)TzlYoi6nr=0$(s zKLdlR8&O4EO!H^zMv^!PL*l242gqqtJE6}7kM6|L$8QVK@^RW8Nraq3Ud$@2Ug+V( zwaR8`_o|WOOsa*Q?%g-n0`)lNjbAg{eY^9E)renT@d7xW%6q5#UqGU5a)u{ zZ76i69EMyammnt*9kEbLKNJ;<5b3bydc{B8O*z?x;%~aC!QRGCFU&R~Q+#gr8RAAD z0mA8S2a>Fz(vqt2seBZ5q@Ayh3M)n!{wZc)^eX1Lb_A%qZd~#$hQ5#x|a#R^Xsi@OJ{aS2OPl)NofDe}d(%@zYib?&$Pu@VP90_`mXmX)$ z59P}r8$5_|!tbL?>PzwUH3xL|*eQRrfol&U7V`#hEZ#LJUA=vjp}a%T$|s!LL(Er< zUW|o1;ZjLrp*HsMlQ_E~dstyHu)nuyvjzqPqR*ea*?Ip;vu71^sRx1M2wrvG>SbpT znWDKhbmMSdsH)vx7dnO9*-ex{lcW+%X!Ui`x>BJ9b-&Ad8`rJ{fy-(7hCXKvbI@d3 zkft;O-1asL)8QoY;vPQEyiSZheL*~(4A9Q((_4_6I3V}2y z_CCixLI+lNhwx{pw<6U@P6rT89)~B#&=GXs7ItYW2rZ3D&avWtGQ>%=g|hi<)22nl@?1s!|P=-tNuigLL zm}R;t1$t5YwaCS6Rr`IcxK@m*!bn=H%@6+ato)w*$e?R{;b4xy?!8ju;#YImFSQ5N83vNo9BuZR`Tc#kaKXJp_+n00tF^KxG}#KUJVSmIPcU6NTi(hK?`b z6zx6vYS}^Nw$J&3xss8bQo#6`AmUPO@2AuLU`dXh!+dkA=v0X24Newr)>;9!nUt$p|{*Q~@+WRF2-XWazR#1OLZ#)YggK2k>J2ne6tJ0$4c=gbHnrYT)K$dQy9a- zG^Fx*Z=osE6~fR^U=QYHhmoBR(x}F4`5VA9 zWCd|Wt5-u>8$+09e)s_{yuHtQR|oY>#EpC(p|SnW%Y_vy*bKY|B1tX%WV9b-rBjxG zg-&Ph)Ppbw8fofr9a(>vL@g|13w%H`OBldK{Wa5^cE+lwCKQFIB!e7uotHo2?QU)Q zv5;BJPO^}6H`4D|u&w^9v|*`is36@nF6>7`>%*zf=TCFt?Ty&gOzPf(|mb zu%kZ2ghq~l?%^HMVkDsPns~XQtsDh?l>*8uNzw~Ka0g7RM+e&x@waNLMd#cp6776? zjCw9T!);Yb9h_JTn_NND-eaJbE7cRxW8d+O2F)F!Z~ac*R5_#!dH|rbqy)^5$BXrZ|I|8xGiE-6>tFcB30I~-GJrt z*S2O_IB2+Bd$~~Oc$vFoge&xtC9`C}R&GQf(;oGx{MtKUkv)(&wL~ljgt`IodKFw=D%mg6JM7fD81`*48v8z+gC8(W8Njcrhad3I;q%4e=^RoMYD z*Ge}H#^0_qQ!%V}RKAJnzdbX0XWVLq?i^;5xYzx8)BH5_-Se1&Z6!Tgr8>81eFUpQ z&G*O$2OGgx?;#!YTQ+z>hxQ5@9^Wsdh)yK0EDOOi+|Wl}tzNZf zVVcYIS$l_uLG0#ZLzk33Uv_c37Ld0Qh6TVOyLa_pxqek!j^fXKEkK~us~75HT%nu1 zgEV7$<)ovjbrJ+Gp}T9ybEat@%4my!fIMuIsiuiUWi<)KB(}zEs1r%a8W(KA-agvA z>Uqih&`&W;>hS)gJNK+|%7$F*H}5RsQN<17) z@mpH=BI32E1n!h|7->FMz2nSI^>NZkWGi~(b!*SH58+xR0X1wMVG-imVan8joPs$LGQ%*2xVkdEY%_+=Q336^P3<&n&RJ?Z4B|z#lP$yk1$p z)TJ_{to%vo0{KOuK;?VR{i7INfofc z>#CsqKI7`OT`_ZC{HyJ}M6hC}>tYlm{B_2Mf z_Mf4L)$20Jqz`z2d=UVuH=0N;23=8=R3&xVIYPQKF>8pq4^7+f!GM6w#1zC^MuhF9 zAG0_s`FA&Sqy{*wLzSmjxQO?`ji(x#Ec!3@{ot~WHB?a-e(IOQtI z<1x{$J_uQ;Q^WgHt6$wu_*Nq5T>(E`4$*?`4_&0ifSAH{mrJSR>6;HW2@{*elvw9> z1^AeY&oTkOt&uf!*MZBc&w9!1amP&7k-^W-SpZ4Xl&gsQXhaz*W7VQLL=DZu<*4d0 zJ*d@dW%w_H&<96@U!qOxcO!#I?3;)>e(NKTdtBFTYG$l!)b*|Ff2U6HrgVk)7TZb< z90b13uOEM&Xc_zTS9kxmwF$oDkQFBU*DN(_Wi++-Mzj1oc7F2%szp&v^Q;1 zU{wcvghL4+iXpQbl;s2YH7c`9knFkOR46uy!yF+5Wg16iW>ehg)SV)MM3pNN|E`mU zW6R}Z$O3oAD1mW%fjDF}bmpzyuldu6{S#sKquzCJ*HjQ|cP&oqkaVg4a?bjjQIkZ% zZ<|mgxb2)ee8k28SyF)sU}Sd@SS7p+JQY=3eb1gB_4OCEE2InE8_Ce?pYr0#b7e(P7hf|NmIEXZ191txgSNKvhsT=|%j z=6`hIp2oM^#kJVZZYk;@N>8OjsG_NJR~szk#CT7|{04yo)I2&m7`<6PHDwsC6`&OY zi#Lk$FQClHzIUI`-cmFkWCmA~+1j=()*HME+@NO_-b+;m9+1wC2jl1Etg9z*j1An9j zTiS1;$FdLB^IjM#e;_AuMNPLYU@g_?J&+}cwK!)*+@9z~!{ns((NeLRsc2&_xQA%BdXvMRs&VJDNvuAiQS0+ zjLwKiz%>t$8vb{RkPo56Mwjp+T2AW+eZ=a5HxUK;P3s2U%)PH&5Ac&dC_uo*h}9c4 zef3l(u$H?s+{~vOxTs*viCujtLfX!%+M4ii!QAb@5``-X2NFOAdBJRPc&}ObmhAwX z@vM2UWQ0T8$;u~_T(>kFR5EN3tHD4HTDNoBOk4F3LF8|5(5LA2YiX;CeRgZx0AtKe za|4^z=vZ_1)kP%LdTlCXNaXGixhMfp@v~kEhFg@jKppY}Pl{zsNF^eN=(|g!4=8R^ zQSO@zZP<_a)N;YPcEMb3P~A^EhM@u#HprHCAv zy)UH*O{gLoqyj9l&Id5UyFjwL9OYA?*AK-?pb8(KidV1VT}!R09f;mE7a`u!j%ZN1 zVG{%_;)Q&VlH4@6i!OdY8<$aqh3$`6&8jbX#60fSIMwUcN#&JZ62Q#`Fe2JFvAgR3 z1h1V4i*YEX=OK-Gx%|`xG6HB=v97mZpe*|5uEyr%6z6E^YiumlQHm+h2aFqmq_VcL zryZr&7uX^PX+rPdDrOvn3qwPc-h&P~}s{-z-(UQ@-I8m4B0w4c+y`}{3x=jWL#da85y7KX@4loF*6Km8KP*{r0id!D{sk+MGlHt3mO`x@B<%kHyUrzf literal 0 HcmV?d00001 diff --git a/www/source/index.md b/www/source/index.md index 21687149be..6e1542e8da 100644 --- a/www/source/index.md +++ b/www/source/index.md @@ -1,6 +1,3 @@ -Welcome to Idris2! -================== - +Idris 2 logo +Welcome to Idris2! +================== + [Idris](https://www.idris-lang.org/) is a programming language designed to encourage _Type-Driven Development_. @@ -77,6 +78,12 @@ can pass the `-p contrib` option to `idris2`. `linear` is the add-on to `base` you'll need for programs using linearity. Similarly to `contrib`, you will need to pass `-p linear` to `idris2` to use modules defined in it. +#### [Network](https://idris-lang.github.io/Idris2/network) + +`network` is the add-on to `base` you'll need for programs using sockets. +Similarly to `contrib` and `linear`, you will need to pass `-p network` +to `idris2` to use modules defined in it. + #### [Papers](https://idris-lang.github.io/Idris2/papers) `papers` is not installed by default.