Similar repositories to mankyKitty/idris-erlang: