Builds - Read the Docs

The Idris Language

EN

Version latest / #2693012 Started 9 years, 1 month ago	`756bfb13`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2692437 Started 9 years, 1 month ago	`59f5e64d`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2690524 Started 9 years, 1 month ago	`59f5e64d`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2688908 Started 9 years, 1 month ago	`cd230761`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2688905 Started 9 years, 1 month ago	`e5ec497d`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2687735 Started 9 years, 1 month ago	`a244cd59`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2687541 Started 9 years, 1 month ago	`1044dbbf`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2687526 Started 9 years, 1 month ago	`1044dbbf`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2687523 Started 9 years, 1 month ago	`6c1237b0`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2685854 Started 9 years, 1 month ago	`3acb910d`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2680893 Started 9 years, 1 month ago	`00ad5a36`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2673536 Started 9 years, 1 month ago	`5d9ad324`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2673492 Started 9 years, 1 month ago	`f417e6c9`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2641792 Started 9 years, 1 month ago	`2c505fc7`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #2636881 Started 9 years, 1 month ago	`ac997869`	latest Version latest Builds For version latest Branch latest Documentation Active Built

1 2 3 4

...

109 110 111 112

113

114 115 116 117

...

120 121 122 123