Builds - Read the Docs

The Idris Language

EN

Version latest / #2465981 Started 9 years, 1 month ago	`159a0c48`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2465973 Started 9 years, 1 month ago	`134a2270`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2465670 Started 9 years, 1 month ago	`22d1ae6b`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2465288 Started 9 years, 1 month ago	`b5052eb1`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2465270 Started 9 years, 1 month ago	`b5052eb1`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2465036 Started 9 years, 2 months ago	`6592eace`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2464886 Started 9 years, 2 months ago		latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2464758 Started 9 years, 2 months ago	`6be29b3e`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2464731 Started 9 years, 2 months ago	`6be29b3e`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version stable / #2462624 Started 9 years, 2 months ago	`b0687583`	stable Version stable Builds For version stable Tag stable Documentation Active Built
Version latest / #2462623 Started 9 years, 2 months ago	`e5b50de7`	latest Version latest Builds For version latest Branch latest Documentation Active Built

1 2 3 4

...

115 116 117 118 119 120 121 122

123