4 ms·
[Idris - Define a 'Prime' type](https://stackoverflow.com/q/46132987/5534735 https://stackoverflow.com/q/46132987/5534735) it looks pretty weird tbh. the ergon
by uryga 7y ago
[Idris - Define a 'Prime' type](https://stackoverflow.com/q/46132987/5534735 https://stackoverflow.com/q/46132987/5534735)
it looks pretty weird tbh. the ergonomics of dependent types are an open area of research