Mastering Idris Equality Type

programming type theory programming language functional programming idris proof code testing challenges problem solving logic verification theorem proving formal methods programming education programming exercises programming challenges type inference type checking automated reasoning formal verification logical reasoning formal logic mathematical foundations programming concepts software development 14+ more tags Less tags