Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
rhi/quox
rhi / quox
Idris 0 0
quantitative extensional type theory
Updated 2024-07-18 11:59:09 -04:00
rhi / idris2-tap
Idris 0 0
basic test framework for idris 2
Updated 2023-09-23 11:39:21 -04:00