История изменений

это инфа не сто процентов, но для написания курсача можно глянуть на Type Arithmetic, которая в Haskell реализована в пакете type-level, который такой тормозной именно потому, что симулирует PA на десятичных числах. Практическая мотивация этому объяснена в статье Number-parameterized types

это инфа не сто процентов, но для написания курсача можно глянуть на Type Arithmetic, которая в Haskell реализована в пакете type-level, который такой тормозной именно потому, что симулирует PA на десятичных числах.