 |
Post AuYZ7GeepOxM9cBbIe by [email protected] |
 |
More posts by [email protected] |
|
Post #AuTzi9yeFCBPAzzO52 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Has anyone ever used #DependentTypes for anything practical? I'm struggling… |
|
|
|
Post #AuTziA7rgvYVdaIkRk by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@aj Maybe this: https://blog.jle.im/entries/series/+practical-dependent-types-i… |
|
|
|
Post #AuYZ7GeepOxM9cBbIe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@abnv Ah I have seen the singletons series on this blog but was not aware of th… |
