Artturin/RiscV-Formal
1
0
Fork 0
forked from Yehowshua/RiscV-Formal
Code Pull requests Activity
11 commits 2 branches 0 tags 149 KiB
Commit graph

1 commit

Author SHA1 Message Date
Artturin 4adcca26f0 Add flake 
`haskell.nix` is quite different from normal nix infra but seems to be
working fine here.

Works with ghc 9.6.6
 2025-02-22 22:24:16 +02:00