Skip to content
Curry–Howard Correspondence for fun
Haskell Agda Other
Find file
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
obsolete
src
.gitignore
Example.agda
LICENSE
Nat.agda
README.rst
agda_commands.vim
wait_for_compile.sh

README.rst

Formal languages and automata theory

Learning Formal Languages and Agda

Something went wrong with that request. Please try again.