OSDN -- Develop and Download Open Source Software
  • R/O
  • HTTP
  • SSH
  • HTTPS
Fork

Tags
No Tags

Frequently used words (click to add to your profile)

javac++androidlinuxc#windowsobjective-ccocoa誰得qtpythonphprubygameguibathyscaphec計画中(planning stage)翻訳omegatframeworktwitterdomtestvb.netdirectxゲームエンジンbtronarduinopreviewer

A categorical programming language


File Info

Rev. 530f14a3d6cb9afae5b36e613341c4af10e901e3
Size 196 bytes
Time 2024-03-12 06:21:52
Author Corbin
Log Message

Include zaha.

Content

Export as raw format 
(pair/mapfst (comp (pair (fun/name @0) id) fun/int-comp))

The dynamics of a deterministic automaton. The second component of the pair is
left free, but usually is a status value, like a Boolean.