Builds - Read the Docs

The Idris Language

EN

Version latest / #7423457 Started 5 years, 11 months ago	`d32cec80`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7423129 Started 5 years, 11 months ago	`02e395e4`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7423128 Started 5 years, 11 months ago	`f660d367`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7413446 Started 5 years, 11 months ago	`c5c8ede5`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7398795 Started 5 years, 11 months ago	`a675cdb9`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7381779 Started 5 years, 11 months ago	`dbe521ff`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7381530 Started 5 years, 11 months ago	`bddb0064`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7378670 Started 5 years, 11 months ago	`f7f8d923`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7367251 Started 5 years, 11 months ago	`375d62f6`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7366104 Started 5 years, 11 months ago	`a272918e`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7321609 Started 5 years, 11 months ago	`88a9f38f`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7319534 Started 5 years, 11 months ago	`5be78101`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7319211 Started 5 years, 11 months ago	`bb9b19c8`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7310782 Started 5 years, 11 months ago	`7dba584c`	latest Version latest Builds For version latest Branch latest Documentation Active Built
Version latest / #7281833 Started 6 years ago	`3a2f57e3`	latest Version latest Builds For version latest Branch latest Documentation Active Built

1 2 3 4

...

9 10 11 12

13

14 15 16 17

...

120 121 122 123