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