Builds - Read the Docs

The Idris Language

EN

Version latest / #11103197 Started 3 years, 11 months ago	`d6df6488`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #11103196 Started 3 years, 11 months ago	`aa88d9b3`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version stable / #11103194 Started 3 years, 11 months ago	`79104f44`	stable Version stable Builds For version stable Tag stable Documentation Active Built
Version latest / #11103193 Started 3 years, 11 months ago	`9d13039e`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #11103192 Started 3 years, 11 months ago	`9d13039e`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10767566 Started 4 years, 1 month ago	`0417c53f`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10767565 Started 4 years, 1 month ago	`0417c53f`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10737225 Started 4 years, 1 month ago	`be69a0bf`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10737224 Started 4 years, 1 month ago	`be69a0bf`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10735352 Started 4 years, 1 month ago	`7c0644f1`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10735351 Started 4 years, 1 month ago	`7c0644f1`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10715378 Started 4 years, 1 month ago	`ecb49fa1`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10715377 Started 4 years, 1 month ago	`ecb49fa1`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10653020 Started 4 years, 1 month ago	`c6c928f7`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #10653019 Started 4 years, 1 month ago	`c6c928f7`	latest Version latest Builds For version latest Branch latest Documentation Active Built

1 2 3 4 5 6

7

8 9 10 11

...

120 121 122 123