Skip to content
Snippets Groups Projects
Commit 9ea1ac92 authored by Markus Pfeiffer's avatar Markus Pfeiffer
Browse files

Add a little documentation

parent 9755cea3
No related branches found
No related tags found
No related merge requests found
# Load into GAP using Read("gaptypes.g"); and export using
# GAPTypesToJson("gap_types.json");
LoadPackage("json"); LoadPackage("json");
GAPFilterToFilterType := function(fid) GAPFilterToFilterType := function(fid)
...@@ -45,7 +48,7 @@ GAPTypesInfo := function() ...@@ -45,7 +48,7 @@ GAPTypesInfo := function()
end; end;
# Write the graph of type info to JSon file # Write the graph of type info to JSon file
GAPTypeToJson := function(file) GAPTypesToJson := function(file)
PrintTo(file, GapToJsonString(GAPTypesInfo())); PrintTo(file, GapToJsonString(GAPTypesInfo()));
end; end;
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment