GitHub repository: CyberCat-Institute/Aptwe
Primary language: Idris
Description: A well typed by construction kernel language for bidirectional programming