524 kB

Ctrl+K

1 contributor

History: 2 commits

SNAPKITTYWEST

Remove Haskell build output (.stack-work) carrying an Apache license file

e8d777d verified about 19 hours ago

LiquidLean
chore: push full sov-kernel-monster content from local build about 1 month ago
test
chore: push full sov-kernel-monster content from local build about 1 month ago
AToKio.hs

12.5 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
AToKioLinear.hs

11.5 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
AToKioMonad.hs

11.8 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
AgentGoals.hs

12 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
AgentMemory.hs

12.3 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
AhmadBotAgent.hs

19.9 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
AuditTrailExporter.hs

15.1 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
CMakeLists.txt

312 Bytes
chore: push full sov-kernel-monster content from local build about 1 month ago
ComplianceFramework.hs

13.9 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
ConsensusTypes.hs

9.37 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
ConsensusVoting.hs

15.7 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
GravityModule.hs

9.37 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
INTEGRATION_GUIDE.md

9.69 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
ManifoldGeometry.hs

7.67 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
PHASE_1_INTEGRATION_SUMMARY.md

15.5 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
ProductionSimulator.hs

28.1 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
ProductionSimulatorLite.hs

25.1 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
QuantumModule.hs

14.1 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
RelativityModule.hs

11.9 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
SimulationStep.hs

15.4 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
SovKangarooShake.hs

12.8 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
SpacetimeAgent.hs

16.6 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
SpacetimeEnvironment.hs

15.9 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
THEOREM3_INTEGRATION.md

6.57 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
WormholeModule.hs

14.7 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
liquidlean-theorem3.cabal

2.66 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
package.yaml

2.06 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
stack.yaml

130 Bytes
chore: push full sov-kernel-monster content from local build about 1 month ago
stack.yaml.lock

468 Bytes
chore: push full sov-kernel-monster content from local build about 1 month ago
test-atokio-integration.hs

4.37 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
test_bang.hs

200 Bytes
chore: push full sov-kernel-monster content from local build about 1 month ago
test_capital.hs

117 Bytes
chore: push full sov-kernel-monster content from local build about 1 month ago
test_exact.hs

1.06 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
test_exact_fixed.hs

1.03 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
test_exact_fixed2.hs

1.08 kB
chore: push full sov-kernel-monster content from local build about 1 month ago
test_listcomp.hs

107 Bytes
chore: push full sov-kernel-monster content from local build about 1 month ago
test_random.hs

103 Bytes
chore: push full sov-kernel-monster content from local build about 1 month ago
test_reclist.hs

195 Bytes
chore: push full sov-kernel-monster content from local build about 1 month ago
test_reclist2.hs

201 Bytes
chore: push full sov-kernel-monster content from local build about 1 month ago
test_relativity.hs

132 Bytes
chore: push full sov-kernel-monster content from local build about 1 month ago