Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
The Address Expression Search Makes Sensee
There's a tool as part of that called age, which goes away furtherit tells you more about pattern matching. So there's a lot more we can do. The address expression searches is really embarrassingly simple. And there are much more sophisticated systems. I am so agte is another dependent side programming language,. A something more aimed towards the ther improving side in the programmi but defitly still a programy language.
Transcript
Play full episode
