Published: 25 May 2023 › Updated: 25 May 2023
This Standard ML code compiles and I find it amusing
datatype '_ ~ = && of '_ * '_
| || of '_ * '_
| ! of '_
| ` of '_
infix || &&
fun \ ((\ && $) || (% && ?)) = (! \ || ! $) && (! % || ! ?)
| \ ((\ || $) && (% || ?)) = (! \ && ! $) || (! % && ! ?)
| \ ($ && %) = ! $ || ! %
| \ ($ || %) = ! $ && ! %
| \ (` $) = ! (` $)
| \ (! $) = (` o `) $
fun main () = ()
Leave This Standard ML code compiles and I find it amusing to:
Best Posts From Serpent7776
We have not curated any of serpent7776's posts yet. But you can encourage our curation team to review posts by visiting them regularly and by referring other readers. Because we give priority to frequently read content.