RosettaCodeData/Task/Boolean-values/Idris
2023-07-01 11:58:00 -04:00
..
boolean-values.idris Data commit 2023-07-01 11:58:00 -04:00