Explorando o uso do Idris para a verificação formal de contratos inteligentes: um guia prático com exemplos utilizando o framework Idris 2 e integração com ferramentas como Plutus e Solidity.
Capacitar desenvolvedores a usar o Idris para a verificação formal de contratos inteligentes, promovendo a segurança e robustez na implementação de soluções em blockchain.
Explorando o uso do Idris para desenvolver aplicações práticas com tipos dependentes: uma introdução a frameworks como Idris2 e exemplos de ferramentas como o Idris REPL.
Introduzir o uso da linguagem Idris com tipos dependentes para o desenvolvimento de aplicações práticas, enfatizando o uso do Idris2 e do Idris REPL.
Desenvolvimento de Aplicações Seguras com Idris: Um Guia Prático para Utilização da Programação Dependente e Integração com Frameworks como Yesod e Servant
Ensinar a desenvolver aplicações seguras utilizando Idris e integrando com frameworks como Yesod e Servant, aproveitando a programação dependente.
Explorando o Idris: Como Implementar Tipos Dependentes em Projetos Práticos Usando o Framework Idris 2 e Técnicas de Programação Funcional para Garantir Código Mais Seguro e Robusto
Ensinar a implementação de tipos dependentes em projetos práticos utilizando Idris 2 e técnicas de programação funcional.