https://github.com/ootidea/categorical-combinators
圏論の射を項書き換え系で扱うことで、正規形を求めたり関数同士の等価性を判定するためのProlog実装の試み
https://github.com/ootidea/categorical-combinators
Last synced: 4 months ago
JSON representation
圏論の射を項書き換え系で扱うことで、正規形を求めたり関数同士の等価性を判定するためのProlog実装の試み
- Host: GitHub
- URL: https://github.com/ootidea/categorical-combinators
- Owner: ootidea
- License: cc0-1.0
- Created: 2022-07-26T15:58:36.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2022-11-06T10:47:15.000Z (over 3 years ago)
- Last Synced: 2025-06-01T17:03:10.807Z (about 1 year ago)
- Language: Prolog
- Homepage:
- Size: 4.88 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- License: LICENSE