Cur dependently-typed programming language, implemented in miniKanren.
Code by William J. Bowman, Michael Ballantyne, and Will Byrd.
TODO: fix application line of typo; update README; extend to handle interesting subset of Cur.
Cur dependently-typed programming language, implemented in miniKanren.
Code by William J. Bowman, Michael Ballantyne, and Will Byrd.
TODO: fix application line of typo; update README; extend to handle interesting subset of Cur.