Builds - Read the Docs

The Idris Language

EN

Version latest / #14527426 Started 2 years, 8 months ago		latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #14527425 Started 2 years, 8 months ago	`64b6d049`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #14103822 Started 2 years, 10 months ago		latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #14103821 Started 2 years, 10 months ago	`2ef8238d`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #12660904 Started 3 years, 4 months ago		latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #12660903 Started 3 years, 4 months ago	`a13caeb4`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #12579087 Started 3 years, 5 months ago		latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #12579086 Started 3 years, 5 months ago	`0a11fd7b`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #12238635 Started 3 years, 6 months ago		latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #12238634 Started 3 years, 6 months ago		latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #12085561 Started 3 years, 7 months ago		latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #12085560 Started 3 years, 7 months ago		latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #11759407 Started 3 years, 8 months ago		latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #11759406 Started 3 years, 8 months ago	`bdb6f69f`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #11759375 Started 3 years, 8 months ago		latest Version latest Builds For version latest Branch latest Documentation Active Built

1 2

3

4 5 6 7 8 9

...

115 116 117 118