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-04-18 16:18:20 -04:00