/idris-errdefer

Inspired by the Zig language's defer and errdefer keywords

Primary LanguageIdris

This repository is not active