Aptwe. A well typed by construction kernel language for bidirectional programming

github.com/CyberCat-Institute/Aptwe
by @CyberCat-Institute

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.