zanzix

Pattern matching a data type fails to find the type of the scrutinee

5

When pattern matching on the type `Cat (\f,g => {0 x : Type} -> f x -> g x)` it gives me the error: Can't infer type to match in...

Coproducts over the network

2

Hey @dalaing, thanks for writing the great tutorial, I've learned a lot! Do you think you'll be finishing the final part about pairing coproducts over the network? That would be...

Evaluation of partial functions during conversion

1

I seem to have found a bug in how Idris evaluates case trees. # Steps to Reproduce Take the code from here: https://gist.github.com/zanzix/d5e5642e4aef80bd02ccf5d97116f3b7 Uncomment out the line `eval Set (MapFst...