Giters

strangeglyph / typelevel-runtime-bounds

An investigation how to leverage the type system to encode correct-by-construction upper bounds for the runtime of different algorithms.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About
An investigation how to leverage the type system to encode correct-by-construction upper bounds for the runtime of different algorithms.
Languages
Language:TeX 52.6%Language:Agda 47.4%