andreasabel's profile - Read the Docs

andreasabel

andreasabel

Joined 8 years, 6 months ago

agda Last built 22 hours ago		latest #24319416 latest #24319416 22 hours ago 761869c5 95 seconds
BNFC Last built 1 week, 3 days ago		latest #24212055 latest #24212055 1 week, 3 days ago bfb34ee0 44 seconds
haskell-alex Last built 2 months, 1 week ago		v3.5.1.0 #23602268 v3.5.1.0 #23602268 2 months, 1 week ago f8fe5f0a 52 seconds
haskell-happy Last built 3 months, 2 weeks ago		latest #23229417 latest #23229417 3 months, 2 weeks ago 535ce965 33 seconds