index
:
felix.git
hotg
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
golden
/
finite-set-terms
/
scanning.golden
blob: 5cef8ddf9c4505497596e149942357a681956942 (
plain
)
1
2
3
4
5
6
[ ScanFunctionSymbol ( TokenCons ( Command "unit" ) End ) ( Marker "unit" ) ]