Builds - Read the Docs

The Idris Language

EN

Version latest / #8936783 Started 5 years, 1 month ago	`c2d21f8c`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8324236 Started 5 years, 4 months ago	`03d9188f`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8324222 Started 5 years, 4 months ago	`32940bed`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8324217 Started 5 years, 4 months ago	`33d8d919`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8324215 Started 5 years, 4 months ago	`03d9188f`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8324212 Started 5 years, 4 months ago	`be439040`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8307279 Started 5 years, 4 months ago	`ecf297a9`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8307275 Started 5 years, 4 months ago	`7855f862`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8263639 Started 5 years, 5 months ago	`f76dac0a`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8263167 Started 5 years, 5 months ago	`2dad1eb3`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8250312 Started 5 years, 5 months ago	`0cf17280`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8250311 Started 5 years, 5 months ago	`b2c46a1e`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8221634 Started 5 years, 5 months ago	`ce61f607`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8221627 Started 5 years, 5 months ago	`011db5fa`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #8221620 Started 5 years, 5 months ago	`5ce5a360`	latest Version latest Builds For version latest Branch latest Documentation Active Built

1 2 3 4 5 6 7 8

9

10 11 12 13

...

120 121 122 123