Builds - Read the Docs

The Idris Language

EN

Version latest / #2498080 Started 9 years, 1 month ago		latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2497999 Started 9 years, 1 month ago		latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2495812 Started 9 years, 1 month ago	`c3f827fd`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2490254 Started 9 years, 1 month ago	`faa95c0a`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2480676 Started 9 years, 1 month ago	`faa95c0a`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2480624 Started 9 years, 1 month ago	`628ddcb4`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2479575 Started 9 years, 1 month ago	`a87a66b2`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2479505 Started 9 years, 1 month ago	`7d76d93a`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2479460 Started 9 years, 1 month ago	`f5aea005`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2479379 Started 9 years, 1 month ago	`142f92f3`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2479369 Started 9 years, 1 month ago	`dadfc86d`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2479361 Started 9 years, 1 month ago	`9f4aea3b`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2479349 Started 9 years, 1 month ago	`be931686`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2478569 Started 9 years, 1 month ago	`9866d488`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2475587 Started 9 years, 1 month ago	`cea78700`	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