GitHub repository: DepTyCheck/goto-model
Primary language: Idris
Description: Model of control-flow graphs supporting `goto` operation