Skip to content

Latest commit

 

History

History
9 lines (3 loc) · 243 Bytes

README.md

File metadata and controls

9 lines (3 loc) · 243 Bytes

master: workflow/CI

idris2-missing-numeric

標準ライブラリにかけている算術型を実験的に提供します。