AlphaGitHub
Source/Packages

ParticipantGroupLaws

packages/representations/tests/ParticipantGroupLaws.alpha

262 lines49 declarations7.9 KiBSHA-256 4ede595dbb41
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 261–262

main

Full file
261def main : Nat =
262  0

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.