update ffirst mode, clarify predicate table
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 24 Jun 2019 14:39:39 +0000 (15:39 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 24 Jun 2019 14:39:39 +0000 (15:39 +0100)
commit93c3c3734b1b37fb30a75d31d6b384fc2e2258e7
treecab494c5194c492b3a9c6f3bb1bc48bff5a7c133
parent29847dfde77dec6c81b0b04ec216d13296b89b78
update ffirst mode, clarify predicate table
simple_v_extension/specification.mdwn