😀
$> sudo smile!
- Santos - Brasil
Block or Report
Block or report praduca
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (1)
Sort Name ascending (A-Z)
Stars
Language: Agda
Sort by: Most stars
1
star
written in Agda
Clear filter
An introduction to programming language theory in Agda