issues
search
mzacho
/
refinement-types
A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions
MIT License
0
stars
1
forks
source link
Basic logic and solver
#1
Closed
mkarup
closed
10 months ago