Commit graph

Select branches

Hide pull requests

addnix

main

Mono Color

• fa03829139 Use newer ghc addnix Artturin 2025-02-22 22:29:46 +0200
• 783ec90a45 Remove stack.yaml Artturin 2025-02-22 22:15:33 +0200
• 67fcd15f42 After make clean and make, this file changes Artturin 2025-02-22 22:01:19 +0200
• 9c0bc141f0 hello_world: Use nixpkgs target prefix Artturin 2025-02-22 21:45:18 +0200
• eb77c50eb2 hello_world: Fix stat with coreutils(linux) Artturin 2025-02-22 21:44:28 +0200
• 459ed89ce2 Rename rv_formal.cabal to rvFormal Artturin 2025-02-21 23:13:45 +0200
• 5516da2619 Add flake Artturin 2025-02-22 22:13:14 +0200
• eed328e68a Fix shell.nix Artturin 2025-02-21 17:04:56 +0200
• 003a1c8545 works even better now main Yehowshua Immanuel 2025-02-19 18:28:08 -0500
• f9248057f9 getting closer... Yehowshua Immanuel 2025-02-19 09:06:40 -0500
• 32932f4816 added basic decoding Yehowshua Immanuel 2025-02-19 01:21:02 -0500
• ef58d5b07e first commit Yehowshua Immanuel 2025-02-12 23:54:15 -0500