GitHub repository: nickdrozd/rado
Primary language: Idris
Created: 2020-07-30T12:58:17Z
Description: Turing machine in Idris, with some cool types