As the language is simple enough, I've decided to try implementing it on my own in F# in order to get a grasp on it.
In the spec (page 132/247 of the Metamath book) it says that constants can only be declared in the outermost block, so I am wondering how it would be possible for them to become inactive? Later on there are specific mentions of constants having to be active, does that mean that they just have to be declared? -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/305f072d-f142-45d0-af3f-de375fa684da%40googlegroups.com.
