Idris2

• Idris2の管理はpackにお任せ

  2022-12-03

  • Idris
  • Idris2
  • Advent Calendar
  • Idris Advent Carendar
  • Advent Calendar 2022
  • Idris Advent Carendar 2022

• Idris2の依存型つき木

  2022-09-10

  • Idris
  • Idris2
  • 依存型

• Idris 2の数量的型が解決した問題、導入した問題

  2021-09-26

  • Idris
  • Idris2
  • 型