1
Fork 0
solar-conflux/purescript/proofs
2023-10-29 00:02:10 +02:00
..
src Move stuff around + add lean and idris experiments 2023-10-29 00:02:10 +02:00
test Move stuff around + add lean and idris experiments 2023-10-29 00:02:10 +02:00
.gitignore Move stuff around + add lean and idris experiments 2023-10-29 00:02:10 +02:00
packages.dhall Move stuff around + add lean and idris experiments 2023-10-29 00:02:10 +02:00
spago.dhall Move stuff around + add lean and idris experiments 2023-10-29 00:02:10 +02:00