Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
A dependently typed programming language, a successor to Idris
A prototype successor to Idris
Sample code from "Type Driven Development with Idris"
A DSL for describing and implementing communication protocols
SPLV20 course notes
Seeing something unexpected? Take a look at the
GitHub profile guide.