Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
mirror of A simple type-theoretic language: Mini-TT
Formalization of "Programming in Martin-Löf's Type Theory".
Knuth's MMIX Assembly code
Module Management System
Formalization of Granstrom's world and world map in Agda
Toy Programs for my study.
Seeing something unexpected? Take a look at the
GitHub profile guide.