rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #305 from srenatus/sr/typo

Browse Source 
examples/least_time.pl: fix typo
This commit is contained in:
Mark Thom
2020-03-27 14:35:17 -03:00
committed by GitHub
parent f7629362d7 7e6be23287
commit 7de39611f3
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/prolog/examples/least_time.pl
View File

@@ -4,7 +4,7 @@
*
* find_min_time/2 solves a problem sometimes posed in the first round
* of Google interviews: given a time of day in 24 H format, what is the
* lexographically least permutation of the time that is itself a
* lexicographically least permutation of the time that is itself a
* valid time in 24 H format?
*
* Full generality is achieved using the reif library.