profile
viewpoint

mpu/dkparse

A fast λΠ-modulo type checker.

https://github.com/mpu/dkparse

mpu

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

mpu