Kyle Dewey

Research concerns primarily automated testing and computer science education. Public repositories hold related infrastructure.

Results 1 repositories owned by


                                            Kyle Dewey

Stars

Forks

Watchers

A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.