agda - Read the Docs Community

latest Last built 1 week, 1 day ago		agda #33145733 agda #33145733 1 week, 1 day ago 7273757e 81 seconds
v2.8.0-r3 Last built 2 months ago	Default	agda #32308237 agda #32308237 2 months ago 08fcafcb 68 seconds
stable Last built 2 months ago		agda #32308236 agda #32308236 2 months ago 08fcafcb 60 seconds
v2.6.3.1 Last built 4 months, 3 weeks ago		agda #31215549 agda #31215549 4 months, 3 weeks ago 7cb340e7 55 seconds
v2.6.4.3-r2 Last built 4 months, 3 weeks ago		agda #31212772 agda #31212772 4 months, 3 weeks ago 8f2ff440 57 seconds
v2.8.0 Last built 11 months, 2 weeks ago		agda #28754257 agda #28754257 11 months, 2 weeks ago 0a387027 68 seconds
v2.7.0.1 Last built 1 year, 9 months ago		agda #25609228 agda #25609228 1 year, 9 months ago a6fc20c2 102 seconds
nightly Last built 1 year, 10 months ago		agda #25332067 agda #25332067 1 year, 10 months ago 3 seconds
v2.7.0 Last built 1 year, 10 months ago		agda #25331822 agda #25331822 1 year, 10 months ago df1a26d9 108 seconds
v2.6.2.2 Last built 1 year, 11 months ago		agda #24997606 agda #24997606 1 year, 11 months ago 4 seconds
v2.6.4.3 Last built 2 years, 3 months ago		agda #23663589 agda #23663589 2 years, 3 months ago 714c7d2c 88 seconds
v2.6.4.2 Last built 2 years, 3 months ago		agda #23548634 agda #23548634 2 years, 3 months ago 3a343109 94 seconds
v2.6.4.1 Last built 2 years, 6 months ago		agda #22711187 agda #22711187 2 years, 6 months ago 4293e0a9 99 seconds
v2.6.4 Last built 2 years, 8 months ago		agda #22143578 agda #22143578 2 years, 8 months ago f42acb69 126 seconds
v2.6.3 Last built 3 years, 4 months ago		agda #19316976 agda #19316976 3 years, 4 months ago b499d124 178 seconds