search

jonsterling / tt-singletons

experiments with singleton types & identity types in type theory
MIT License
3 stars 0 forks source link

run the examples during cabal test #6

Open jonsterling opened 9 years ago