search

jonsterling / tt-singletons

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

Clean up the monad; use exceptions (MonadThrow, MonadCatch) #4

Closed jonsterling closed 9 years ago

jonsterling commented 9 years ago

resolves #2