Idris para principiantes: Cómo explorar los tipos dependientes y la programación funcional (Colección de Lenguajes de Próxima Generación)
お気に入り図書館の蔵書
設定
詳しい情報
出版社: Independently published(2025-11-06)
ペーパーバック: 289 ページ / 15.2 x 1.7 x 22.9 cm
ISBN-13: 9798273165557