Block or Report
Block or report madkous
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Agda
All languages
Agda
C
C++
F*
Go
Handlebars
JavaScript
Julia
OCaml
Pascal
Perl
Python
Ruby
Rust
Shell
Vim Script
Nothing to show
Sort by: Most stars
1
star
written in Agda
Clear filter
An introduction to programming language theory in Agda