Isaac Elliott

Results 6 repositories owned by


                                            Isaac Elliott

Stars

Forks

Watchers

A usable type system for call by push-value

Stars

Forks

Watchers

Idris, but it's C

Stars

Forks

Watchers

A functional scripting language.

Stars

Forks

Watchers

Educational implementation of dependent types

Stars

Forks

Watchers

Lambda Calculus with quote and unquote

Stars

Forks

Watchers

Proofs of the number of inhabitants of polymorphic functions