Rare find

idris-bash. GNU bash backend for Idris

github.com/mietek/idris-bash

by

@mietek

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.