jonsterling tt-singletons issues - Githubissues

jonsterling / tt-singletons

experiments with singleton types & identity types in type theory

MIT License

3 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

coe for squash types

#8 jonsterling opened 9 years ago
0
add epigram-style quotients

#7 jonsterling opened 9 years ago
0
run the examples during cabal test

#6 jonsterling opened 9 years ago
0
Add booleans

#5 jonsterling closed 9 years ago
1
Clean up the monad; use exceptions (MonadThrow, MonadCatch)

#4 jonsterling closed 9 years ago
0
Fix bad thing in NBE (reify, reflect didn't preserve type)

#3 jonsterling closed 9 years ago
0
Cleanup the monad

#2 jonsterling closed 9 years ago
6
Observational Equality

#1 jonsterling closed 9 years ago
13