Search: github.com/caotic123 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Dependently typed language for proofs that you can implement in one day (github.com/caotic123)

138 points

5 years ago

2.

Kei – A small and expressive dependent language (github.com/caotic123)

67 points

7 years ago

3.

Optional Monad in C (github.com/caotic123)

3 points

8 years ago

4.

A way of manipulate easily lambda terms (github.com/caotic123)

2 points

7 years ago