Skip to content
View heyrutvik's full-sized avatar

Block or report heyrutvik

Block user

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
6 stars written in TeX
Clear filter

A textbook on informal homotopy type theory

TeX 2,049 360 Updated Jun 17, 2024

papers of Per Martin Löf

TeX 764 66 Updated Jan 30, 2024

Talk material for LambdaJam 2014/2015 on denotational design

TeX 120 5 Updated Jan 8, 2024

My CV / Resume

TeX 77 15 Updated Dec 21, 2024

The source for "Compiling with Dependent Types" (my dissertation)

TeX 30 1 Updated May 10, 2022

Malfunction backend for Idris with a FFI to OCaml

TeX 28 2 Updated Aug 22, 2019
6 stars written in TeX