Block or Report
Block or report dcottr
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
-
bidirectional-type-checker
bidirectional-type-checker PublicImplementation of a simple Bidirectional Typing Rules from paper http:https://davidchristiansen.dk/tutorials/bidirectional.pdf
-
dependently-typed-lambda-calc
dependently-typed-lambda-calc PublicAn implementation of a dependently typed lambda calculus from this paper (https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf) implemented in Reason.
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.