#41 – IDRIS — Systems Programming Meets Full Dependent Types
Release Date:
汎用プログラミング言語に Dependent Types を組み込んだ実験的なプログラミング言語 Idris について向井が話します。
#41 – IDRIS — Systems Programming Meets Full Dependent Types
汎用プログラミング言語に Dependent Types を組み込んだ実験的なプログラミング言語 Idris について向井が話します。
#41 – IDRIS — Systems Programming Meets Full Dependent Types