3 ms·
What's the language being used here to define the interface? I don't understand what's intended by terms like "Nat" or "Fin" or "**" or "->" and don't see any l
by raldi 5y ago
What's the language being used here to define the interface? I don't understand what's intended by terms like "Nat" or "Fin" or "**" or "->" and don't see any link to documentation or even a name I can google.
- bruce343434 5y agoHaskell (inspect element of the code blocks reveals highlighting metadata)
- thethirdone 5y agoI am pretty sure it is actually Idris based on the interface and implementation keywords.