Online Library TheLib.net » Тема, жанр, tags: Proofs,Mathematical Logic,Trees,Type-Driven Development,Lambda Calculus,Idris,Dependent Types,Type T
book Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
pdf
00
15.02.2024
0
0
Read online
book Type-driven development with Idris
Type-driven development with Idris
pdf
00
07.02.2024
0
0
Read online
book Type-driven Development with Idris
Type-driven Development with Idris
pdf
00
28.01.2024
0
0
Read online