hatlog
hatlog copied to clipboard
custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
Results
7
hatlog issues
Sort by
recently updated
recently updated
newest added
test
The following two higher-order predicates may turn out very helpful, also in future extensions: - `maplist/3`, for example in: `maplist(pretty_type, Ls0, Ls)`, avoiding an auxiliary predicate - `foldl/4` to avoid...