pingu/Masons
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4 Commits 1 Branch 0 Tags
main
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
pingu 4f9a8b6f10 Moving
2025-10-22 22:02:08 +02:00
.envrc
Begin
2025-10-22 19:54:21 +02:00
.gitignore
Initial commit
2025-10-22 08:05:11 +00:00
basicspells.qnt
Ouch
2025-10-22 21:34:42 +02:00
flake.lock
Begin
2025-10-22 19:54:21 +02:00
flake.nix
Begin
2025-10-22 19:54:21 +02:00
LICENSE
Initial commit
2025-10-22 08:05:11 +00:00
Masons.qnt
Moving
2025-10-22 22:02:08 +02:00
quint-cheatsheet.pdf
Begin
2025-10-22 19:54:21 +02:00
README.md
Initial commit
2025-10-22 08:05:11 +00:00

README.md

Masons

Trying to model the rules from https://maffiasverige.se

Description
Trying to model the rules from https://maffiasverige.se
Readme AGPL-3.0 158 KiB
Languages
Bluespec 92.2%
Nix 7.8%